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
- ps.gz (22kb)
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. |