The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
A common compiler for LOTOS and SDL specifications
IBM Systems Journal
A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Generating efficient protocol code from an abstract specification
Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
Generating efficient protocol code from an abstract specification
IEEE/ACM Transactions on Networking (TON)
Hardware-software prototyping from LOTOS
Readings in hardware/software co-design
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Stochastic Process Algebras Meet Eden
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Journal of Systems and Software
A Co-Design Methodology Based on Formal Specification and High-level Estimation
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Hi-index | 0.00 |