Modeling a BSG-E automotive system with the Timing augmented description language

Reference : Modeling a BSG-E automotive system with the Timing augmented description language


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/3851

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

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	Leveraging Applications of Formal Methods, Verification and Validation.pdf		Publisher postprint	845.09 kB	Request a copy

All documents in ORBi^lu are protected by a user license.