![](/img/cover-not-exists.png)
[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems
Entin, Vladimir, Siegl, Sebastian, Kern, Andreas, Reichel, Michael, Meyer-Wegener, KlausYear:
2009
Language:
english
Pages:
5
DOI:
10.1109/taicpart.2009.21
File:
PDF, 486 KB
english, 2009