Business Process Management (WS 2009/10) Model Checking Basics & Temporal Logics State Space Reduction Techniques to Verify Business Processes

State Space Reduction Techniques to Verify Business Processes

Part of the series Business Process Management (WS 2009/10)
State Space Reduction Techniques to Verify Business Processes Niels Lohmann

Date: January 11, 2010
Language: English
Duration: 01:11:42
Copy link to current video position
tele-TASK now provides the ability to create playlists. You can create your own playlist based on this lecture or view playlists containing this lecture.
Show