Stefania Gnesi, Diego Latella Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:2, pp:119-120 [Journal]
Werner Damm, Jochen Klose Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:2, pp:121-141 [Journal]
Judi Romijn A Timed Verification of the IEEE 1394 Leader Election Protocol. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:2, pp:165-194 [Journal]
Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:2, pp:195-215 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP