Deriving concurrent synchronous EFSMs from protocol specifications in LOTOS

• Autores: Akira Kitajima, Keiichi Yasumoto, Teruo Higashino
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 3, 1999, págs. 487-494
• Idioma: inglés
• Texto completo no disponible (Saber más ...)