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
|
Text
nfm2018_modes3_u.pdf Download (1MB) | Preview |
Official URL: https://doi.org/10.1007/978-3-319-77935-5_31
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 31 Jul 2018 22:30 |
| Last Modified: | 31 Jul 2018 22:30 |
| URI: | http://real.mtak.hu/id/eprint/82470 |
Actions (login required)
 |
Edit Item |
