The Effect of Transition Granularity in the Model Checking of Reactive Systems

Szkupien, Péter [Szkupien, Péter (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Renczes Balázs. Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics. (2022) ISBN:9789634218722 p. 54 , 4 p.
    Azonosítók
    • MTMT: 32678949
    Támogatások:
    • EMBrACE(2019-2.1.1-EUREKA- 2019-00001) Támogató: NKFIA
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-07-11 14:12