1202 search results - page 24 / 241 » Sortings for Reactive Systems |
TECS
2008
15 years 1 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...
108
click to vote
FORTEST
2008
15 years 3 months 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...
142
Voted
ICST
2010
IEEE
15 years 12 days 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 8 months ago
2009
Springer
VL
2007
IEEE
15 years 8 months ago
2007
IEEE