Die gezeigten Posts sind eventuell nicht akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch akkurate Posts mit eingeschränkten Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.
A. Fehnker, M. Fruth, und A. McIver. Methods, Models and Tools for Fault Tolerance, Volume 5454 von Lecture Notes in Computer Science, Springer, (2009)
M. van der Bijl, und F. Peureux. Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 173-200. Springer, (2004)
D. Faragó, und P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, Seite 50-67. Springer, (Juni 2009)
A. Belinfante. Tools and Algorithms for the Construction and Analysis of Systems, 2010, Volume 6015 von Lecture Notes in Computer Science, Seite 266-270. Springer, (2010)