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 Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/07/06 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)
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)
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)
Details zur Episode Transition Systems Prof. Dr. Stefan Leue Model Checking of Software and Systems Datum: 2011/05/04 Formate Stream (700 kbps) Stream (250 kbps)
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)
Episoden 2011/04/13 (Mi) - Introduction 2011/04/14 (Do) - Systems and Software Failures 2011/04/20 (Mi) - Model Checking in the Software Process 2011/04/20 (Mi) - State-based modelling using Promela &...
