Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Modeling a BSG-E automotive system with the Timing augmented description language
Peraldi-Frati, M.-A.; Goknil, A.; Adedjouma, Morayo et al.
2012In Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Peer reviewed
 

Files


Full Text
Leveraging Applications of Formal Methods, Verification and Validation.pdf
Publisher postprint (865.37 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-480
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
Language :
English
Title :
Modeling a BSG-E automotive system with the Timing augmented description language
Publication date :
2012
Event name :
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2012)
Event place :
Heraklion, Crete, Greece
Event date :
October 15-18
Audience :
International
Main work 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.)
ISBN/EAN :
978-3-642-34031-4
Pages :
111-125
Peer reviewed :
Peer reviewed
Commentary :
7610 Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Available on ORBilu :
since 12 July 2013

Statistics


Number of views
49 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu