References of "Gueguen, P.-Y."
Bookmark and Share    
Full Text
Peer Reviewed
See detailModeling a BSG-E automotive system with the Timing augmented description language
Peraldi-Frati, M.-A.; Goknil, A.; Adedjouma, Morayo UL et al

in Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012)

Detailed reference viewed: 96 (0 UL)