Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol

Marcel Kyas. Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. Electronic Notes in Theoretical Computer Science, 243:105-120, 2009. [doi]

Abstract

Abstract is missing.