Process in two independent phases after stability analysis Certified Library + Annotated C code with inserted invariant provide a clear mathematical evidence of the closed loop stability Producing a overall verifiable C code
A credible autocoding application within a rocket and its payload
2015-09-01
677910 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Springer Verlag | 2015
|Autocoding in Automotive Software Development
British Library Conference Proceedings | 2005
|Autocoding in automotive software development
IET Digital Library Archive | 2005
|