Modeling Hybrid Systems in SIMTHESys

Enrico Barbierato, Marco Gribaudo, Mauro Iacono. Modeling Hybrid Systems in SIMTHESys. Electronic Notes in Theoretical Computer Science, 327:5-25, 2016. [doi]

Abstract

Abstract is missing.