A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking

Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta. A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. International Journal of Parallel Programming, 33(6):613-643, 2005. [doi]

Abstract

Abstract is missing.