Cited By
View all- Kalla HTalpin JBerner DBesnard L(2006)Automated Translation of C/C++ Models into a Synchronous FormalismProceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems10.1109/ECBS.2006.27(426-436)Online publication date: 27-Mar-2006
- Talpin JLe Guernic PShukla SGupta R(2005)A compositional behavioral modeling framework for embedded system design and conformance checkingInternational Journal of Parallel Programming10.1007/s10766-005-8907-y33:6(613-643)Online publication date: 1-Dec-2005