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.
F. Werner, und D. Faragó. Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Seite 115--131. Springer, (2010)
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)
P. Schmitt, und I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), Seite 47--58. IEEE Computer Society, (2007)