[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
Dutle, Aaron, Muñoz, César, Narkawicz, AnthonyVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-77935-5_31
File:
PDF, 533 KB
english, 2018