Login / Signup
Ensuring High Quality in Specifications for Automotive Embedded Control Systems.
Eva Rakotomalala
Jean-Pierre Elloy
Pierre Molinaro
Bernard Bavoux
Didier Jampi
Published in:
IESS (2005)
Keyphrases
</>
high quality
control system
ground truth
embedded systems
formal specification
higher quality
automotive industry
control software
low quality
high level
learning algorithm
high resolution
control law
image quality
highly accurate
data mining
high fidelity
real environment
reactive systems
real time
database