Author:
Stepien Bernard,Logrippo Luigi
Subject
Computer Networks and Communications
Reference34 articles.
1. D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, Z. Yi, Formal methods for mobility standards, in: Proceedings of the 1999 IEEE Emerging Technologies Symposium on Wireless Communications and Systems, Richardson, TX, 1999
2. Use case maps and LOTOS for the prototyping and validation of a mobile group call system;Amyot;Computer Communications,2000
3. Introduction to the ISO specification language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987
4. The Formal Description Technique LOTOS,1989
5. Correctness preserving transformations for the early phases of software development;Bolognesi,1995
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献