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

Abstract

Full paper




 Superordinated page: Year 1998

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.