  |
Items where Author is "Mázló, Zsolt"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionVörös, András and Búr, Márton and Ráth, István Zoltán and Horváth, Ákos and Micskei, Zoltán Imre and Balogh, László and Hegyi, Bálint and Horváth, Benedek and Mázló, Zsolt and Varró, Dániel (2018) MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems. In: NASA Formal Methods. Lecture Notes in Computer Science (10811). Springer International Publishing, Cham, pp. 460-467. ISBN 978-3-319-77934-8 |
