![[logo of the networked systems group]](/en/images/vs.gif)
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. |