CASE Support for Modular Verification of Synchronous Reactive Systems
-
1
Universidad de Oviedo
info
Actes de conférence:
2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems
Année de publication: 1997
Pages: 125-137
Congreso: International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems (2. 1997. Cesena, Italia)
Type: Communication dans un congrès