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
scientific article; zbMATH DE number 2112452 - MaRDI portal

scientific article; zbMATH DE number 2112452

From MaRDI portal

Publication:4823969

Jump to:navigation, search

zbMath1066.93035MaRDI QIDQ4823969

Yang Wang, Jun Wei, Zhen-Yu Wang

Publication date: 28 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

design software architecture model checking complex systems computer systems distributed control system correctness requirement pattern of property specification

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Control/observation systems involving computers (process control, etc.) (93C83) Design techniques (robust design, computer-aided design, etc.) (93B51) Distributed systems (68M14)

Related Items (1)

Formal verification of safety protocol in train control system

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4823969&oldid=19144330"