decoration

Poids de l’Open access dans la production CNRS

Titre
Verification of Interlocking Systems Using Statistical Model Checking
BSO - Titre
Verification of Interlocking Systems Using Statistical Model Checking
DOI
DOAI
Identifiant WoS
WOS:000403394800010
Accès ouvert
OA - Oui
Source - Accès ouvert
OA - Non
Type d'accès
Archive
Editeur

IEEE - Institute of Electrical and Electronics Engineers

Source

IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017)

ISSN
1530-2059
Type de document
  • Meeting Abstract
Notoriété
0 - Sans notoriété
CNRS
Oui
CNRS - Institut
  • INS2I - Institut des sciences de l'information et de leurs interactions
uid:/XS2FC9J6
Powered by Lodex 9.6.0
decoration