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 1079649 - MaRDI portal

scientific article; zbMATH DE number 1079649

From MaRDI portal

Publication:4361340

Jump to:navigation, search

zbMath0888.93002MaRDI QIDQ4361340

Matthias Weber

Publication date: 27 October 1997

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

zbMATH Keywords

system modeling formal methods functional model system development architectural models computer based industrial systems extended state machines reactive model

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Design techniques (robust design, computer-aided design, etc.) (93B51) Automated systems (robots, etc.) in control theory (93C85) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)

This page was built for publication:

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