MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems. András Vörös, Dániel Varró, E. NASA Formal Methods 2018, 2018.
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems [pdf]Paper  bibtex   

Downloads: 0