Design pattern for the runtime model-based checking of a real-time embedded system

IFAC-PAPERSONLINE (ELSEVIER)

ARM, J.; BRADÁČ, Z.; BAŠTÁN, O.; STREIT, J.; MIŠÍK, Š., 2019: Design pattern for the runtime model-based checking of a real-time embedded system. IFAC-PAPERSONLINE (ELSEVIER) , p. 127 - 6, doi: 10.1016/j.ifacol.2019.12.744; FULL TEXT

Research Groups:

• Cybernetics and Robotics - Pavel Václavek

CEITEC authors:

• Zdeněk Bradáč, Ph.D.
• Ondřej Baštán
• Jakub Streit
• Jakub Arm, Ph.D.