Business Process Management (WS 2009/10) Model Checking Basics & Temporal Logics Explicit vs. Symbolic Model Checking

Explicit vs. Symbolic Model Checking

Part of the series Business Process Management (WS 2009/10)
Explicit vs. Symbolic Model Checking Prof. Dr. Mathias Weske

Date: January 4, 2010
Language: English
Duration: 01:27:32
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