Reference : Modeling a BSG-E automotive system with the Timing augmented description language
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3851
Modeling a BSG-E automotive system with the Timing augmented description language
English
Peraldi-Frati, M.-A. [AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France]
Goknil, A. [AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France]
Adedjouma, Morayo mailto [Delphi - 22 Avenue des Nations - BP 65059 Villepinte, France]
Gueguen, P.-Y. [Delphi - 22 Avenue des Nations - BP 65059 Villepinte, France]
2012
Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Margaria, Tiziana; Steffen, Bernhard (Eds.)
111-125
Yes
International
978-3-642-34031-4
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2012)
October 15-18
Heraklion, Crete
Greece
http://hdl.handle.net/10993/3851
7610
Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Leveraging Applications of Formal Methods, Verification and Validation.pdfPublisher postprint845.09 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.