Yazar
Charles Pecheur
2 cilt bulundu.
Cilt sonuçları
Formal Methods for Industrial Critical Systems
Michael Dierkes, Charles Pecheur · Springer
213 sayfa · 2013
System design / Software engineering / Computer programs / Computer science / Logic design
RIACS workshop on the verification and validation of autonomous and adaptive systems
Charles Pecheur · National Aeronautics and Space Administration, Ames Research Center
Sayfa sayısı yok · 2001
Autonomy / Adaptive control / Program verification (Computers) / Computer programs