Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
Contract-based modeling and verification of timed safety requirements within SysML
XX
BSO - Titre
Contract-based modeling and verification of timed safety requirements within SysML
XX
DOI
DOI
10.1007/s10270-015-0481-1
XX
DOAI
DOAI
10.1007/s10270-015-0481-1
XX
Identifiant WoS
WOS:000400395400013
XX
Accès ouvert
OA - Oui
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Archive
XX
Editeur
Springer
XX
Source
SOFTWARE AND SYSTEMS MODELING
XX
ISSN
1619-1366
XX
Type de document
Article
XX
Notoriété
3 - Correcte
XX
CNRS
Oui
XX
CNRS - Institut
INS2I - Institut des sciences de l'information et de leurs interactions
XX
uid:/34FN1D21
12/10/2021 14:52:41 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
