Compositional verification of embedded real-time systems

Mohammed Foughali(Centre National de la Recherche Scientifique), Alexander Zuepke(Technical University of Munich)
Journal of Systems Architecture
June 28, 2023
10.1016/j.sysarc.2023.102928
Cited by 15

Related Papers

No related papers found

Powered by citation graph analysis