Title : Modeling a BSG-E automotive system with the Timing augmented description language
Language : English
Author, co-author : Peraldi-Frati, M.-A. [AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France]
Goknil, A. [AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France]
Adedjouma, Morayo [Delphi - 22 Avenue des Nations - BP 65059 Villepinte, France]
Gueguen, P.-Y. [Delphi - 22 Avenue des Nations - BP 65059 Villepinte, France]
Publication date : 2012
Main document title : Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Publisher : Margaria, Tiziana; Steffen, Bernhard (Eds.)
Pages : 111-125
Peer reviewed : Yes
Audience : International
ISBN : 978-3-642-34031-4
Event name : Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2012)
Event date : October 15-18
Event place (city) : Heraklion, Crete
Event country : Greece
Permalink : http://hdl.handle.net/10993/3851
Commentary : 7610
Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies