Published in
Springer, Lecture Notes in Computer Science, p. 1-16, 2013
DOI: 10.1007/978-3-642-41010-9_1
SAE International, SAE International Journal of Aerospace, 1(6), p. 150-160
DOI: 10.4271/2013-01-2109
Links
Tools
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Journal article published in 2013 by
Adrien Champion,
Rémi Delmas,
Michael Dierkes,
Pierre-Loic Garoche,
Romain Jobredeaux,
Pierre Roux
This paper is available in a repository.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 