Formal modeling for railway signaling using commercial tools

Autor: Ferrari A., Fantechi A., Bacherini S., Zingoni N.

Publikováno v: The First NASA Formal Methods Symposium, pp. 166–170, Moffett Field, California, April 6-8 2009
info:cnr-pdr/source/autori:Ferrari A.; Fantechi A.; Bacherini S.; Zingoni N./congresso_nome:The First NASA Formal Methods Symposium/congresso_luogo:Moffett Field, California/congresso_data:April 6-8 2009/anno:2009/pagina_da:166/pagina_a:170/intervallo_pagine:166–170

Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d801b5b2c17456c750d9e53d4b8ff2a5
https://openportal.isti.cnr.it/doc?id=people______::d801b5b2c17456c750d9e53d4b8ff2a5

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.