2639 search results - page 24 / 528 » Biological Systems as Reactive Systems |
109
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
SERA
2009
Springer
15 years 4 months ago
2009
Springer
VL
2007
IEEE
15 years 4 months ago
2007
IEEE
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE