Tools for the Analysis of Hybrid Models

Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Tools for the Analysis of Hybrid Models. In Claude Jard, Olivier H. Roux, editors, Communicating Embedded Systems. pages 227-251, Wiley, 2013. [doi]

Abstract

Abstract is missing.