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
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering - MaRDI portal

Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

From MaRDI portal

Publication:4329567

Jump to:navigation, search

DOI10.1016/S0096-0551(01)00018-2zbMath0997.68078MaRDI QIDQ4329567

Nikolai Mansurov

Publication date: 1 May 2002

Published in: Computer Languages (Search for Journal in Brave)

zbMATH Keywords

formal specification languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

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