Author:
Carchiolo Vincenza,Malgeri Michele,Mangioni Giuseppe
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference29 articles.
1. An exercise in the automatic verification of asynchronous design;Bailey;Formal Methods System Des.,1994
2. The esterel synchronous programming language: design, semantics, implementation;Berry;Sci. Comput. Programming,1992
3. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Networks ISD Systems,1987
4. A lotos specification of the proway highway service;Carchiolo;IEEE Trans. Comput.,1986
5. V. Carchiolo, M. Malgeri, G. Mangioni, Using circal for real time system specification, in: Proceedings of TAU95, Seattle (USA), November 1995.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献