The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications
J. Thees
2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 4/5, 1998
Abstract
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. |