.:. Consultation > Par auteur > Adedjouma .:.

1 document

Modeling a BSG-E Automotive System with the Timing Augmented Description language. Peraldi-Frati M.-A., Goknil A., Adedjouma M., Gueguen P.-Y. Dans ISOLA 2012 -5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 7610 (2012) 111-125 [hal-00757185 - version 1]