Details zur Episode Modeling Concurrency Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/11 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Channel Systems Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/12 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode State Machine Models Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/18 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Safety and Liveness Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/25 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Omega-Regular Languages Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/06/08 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Partial Order Reduction Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/07/06 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Safety and Liveness II Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/26 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Systems and Software Failures Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/14 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Model Checking in the Software Process Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/04/20 Formate Stream (700 kbps) Stream (250 kbps)
Details zur Episode Nondeterministic Finite Büchi Automata (NBA) Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/06/09 Formate Stream (700 kbps) Stream (250 kbps)