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]
@article{TalpinGSG05,
title = {A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking},
author = {Jean-Pierre Talpin and Paul Le Guernic and Sandeep K. Shukla and Rajesh Gupta},
year = {2005},
doi = {10.1007/s10766-005-8907-y},
url = {http://dx.doi.org/10.1007/s10766-005-8907-y},
tags = {model checking, meta-model, modeling, composition, Meta-Environment, design},
researchr = {https://researchr.org/publication/TalpinGSG05},
cites = {0},
citedby = {0},
journal = {International Journal of Parallel Programming},
volume = {33},
number = {6},
pages = {613-643},
}