Sormenjälki
Sukella tutkimusaiheisiin 'Contract-based modeling and verification of timed safety requirements within SysML'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.- Järjestys:
- Painoarvo
- Aakkosjärjestyksessä
Contract-based modeling and verification of timed safety requirements within SysML
Iulia-Elena Dragomir, Iulian Ober, Christian Percebois
Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
12
Sitaatiot
(Scopus)