33841 articles – 26713 Notices  [english version]
.:. 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]