1202 search results - page 24 / 241 » Sortings for Reactive Systems |
TECS
2008
14 years 11 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
FORTEST
2008
15 years 28 days ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
120
click to vote
ICST
2010
IEEE
14 years 10 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 6 months ago
2009
Springer
VL
2007
IEEE
15 years 5 months ago
2007
IEEE