Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems - MaRDI portal

Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems (Q2488167)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems
scientific article

    Statements

    Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems (English)
    0 references
    0 references
    24 August 2005
    0 references

    Identifiers