REAL

Items where Author is "Mázló, Zsolt"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Vö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

This list was generated on Sat Mar 15 12:47:26 2025 CET.