Skip to main content
Article thumbnail
Location of Repository

A formal verification environment for railway signalling system design

By C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi, D Romano and Pisa (Italy). Istituto di Elaborazione dell'Informazione Consiglio Nazionale delle Ricerche


Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

Topics: 09H - Computer software, programming
Year: 1995
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.