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
ESPRESO—A System for Process Control Software Specification - MaRDI portal

ESPRESO—A System for Process Control Software Specification

From MaRDI portal

Publication:3662609

Jump to:navigation, search

DOI10.1109/TSE.1983.234779zbMath0515.68028MaRDI QIDQ3662609

Jochen Ludewig

Publication date: 1983

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

attribute grammar software specification process communication language definition process control software

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: ESPRESO—A System for Process Control Software Specification

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