LTL Model Checking & Compliance Checking

Part of the series Business Process Compliance (WT 2013/14)
LTL Model Checking & Compliance Checking Dr. Matthias Kunze

Date: December 9, 2013
Language: English
Duration: 01:30:52
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