Details zur Episode Algorithms for Checking Safety Properties Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/06/29 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode LTL and Büchi - Automata Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/06/22 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Partial Order Reduction, Part II Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/07/07 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Linear-Time Properties and Invariants Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/19 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Model Checking of Omeg-Regular Properties Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/06/30 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode State-based Modelling Using Promela & SPIN Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/20 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode State-based Modelling Using Promela & SPIN - Part III Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/28 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode State-based Modelling Using Promela & SPIN - Part II Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/27 Formate Stream (700 kbps) Stream (250 kbps)
Kontakt Prof. Dr. Rüdiger Wilhelmi Raum C 319 +49 7531 88-3046 E-Mail schreiben Kontakt Prof. Dr. Stefan Leue Raum PZ 902 +49 7531 88-2893 E-Mail schreiben Kontakt Martin Kölbl PZ 912 +49 7531 88-4445...
h Informatik und Informationswissenschaft Model Checking of Software and Systems Prof. Dr. Stefan Leue Fachbereich Informatik und Informationswissenschaft Strafrecht BT I Prof. Dr. Jur. Jörg Eisele...