"Stefan Leue" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Model Checking of Software, 9 conf

Dragan Bosnacki, Stefan Leue

Категория: CsLn_

2.61 Mb

#2

Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Категория: CsLn_

2.48 Mb

#3

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue, Pedro Merino

3.77 Mb

#4

Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Stefan Leue, Tarja J. Systä

4.29 Mb