CASE Support for Modular Verification of Synchronous Reactive Systems
-
1
Universidad de Oviedo
info
Actas:
2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems
Ano de publicación: 1997
Páxinas: 125-137
Congreso: International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems (2. 1997. Cesena, Italia)
Tipo: Achega congreso