Business Process Compliance (ST 2012) Model Checking LTL Model Checking

LTL Model Checking

Part of the series Business Process Compliance (ST 2012)
LTL Model Checking Prof. Dr. Mathias Weske

Date: June 4, 2012
Language: English
Duration: 01:22:39
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