Concepedia

Publication | Closed Access

A Formal Verification Environment for Railway Signaling System Design

DOI

64

Citations

12

References

1998

Year

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
Formal Methods in System Design

References

YearCitations

Page 1