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]

Authors

Jean-Pierre Talpin

This author has not been identified. Look up 'Jean-Pierre Talpin' in Google

Paul Le Guernic

This author has not been identified. Look up 'Paul Le Guernic' in Google

Sandeep K. Shukla

This author has not been identified. Look up 'Sandeep K. Shukla' in Google

Rajesh Gupta

This author has not been identified. Look up 'Rajesh Gupta' in Google