The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications

J. Thees

Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, ??? March 1998

Zusammenfassung

Vollversion




 Übergeordnete Seite: Jahr 1998

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.