 |
|
|
|
| 1. |
|
Scenarios: Models, Transformations and Tools
Stefan Leue, Tarja J Syst
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2005.
|
 |
| 2. |
|
Scenarios: Models, Transformations and Tools
Stefan Leue, Tarja J Systa
E-bok. Springer Berlin Heidelberg, Tyskland, 2005.
|
|
| 3. |
|
Model Checking Software
Dragan Bosnacki, Stefan Leue
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2002.
|
|
| 4. |
|
Model Checking Software
Dragan Bosnacki, Stefan Leue
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 5. |
|
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 6. |
|
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1999.
|
|
| 7. |
|
Formal Methods for Industrial Critical Systems
Stefan Leue, Pedro Merino
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 8. |
|
Formal Methods for Industrial Critical Systems
Stefan Leue, Pedro Merino
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
|
|
