Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.

Muhammad Fadlisyah, Peter Csaba lveczky, Erika brahm

Browse the full SEFM paper archive.