Specification and Verification of a Single-Track Railroad Signaling in CafeOBJ

• Autores: Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 84, Nº 6, 2001, págs. 1471-1478
• Idioma: inglés
• Texto completo no disponible (Saber más ...)