Similar Items: An Estelle compiler
- Protocol engineering from Estelle specifications
- A graphical representation for the formal description technique Estelle
- HOOD : a Higher-Order Object-Oriented Database model and its implementation
- Exploiting persistence in CASE technology
- The impact of using a contract-driven, test-interceptor based software development approach
- Specification and implementation of the Larch shared language
Author: Kritzinger, Pieter S
- The complexity of Petri net transformations
- A methodology for analyzing power consumption in wireless communication systems
- Modelling adaptive routing in Wide Area Networks
- Distributed analysis of Markov chains
- ROLAND : a tool for the realistic optimisation of local access network design
- Protocol engineering from Estelle specifications