Home | deutsch  | Legals | Data Protection | Sitemap | KIT

A New Verification Technique for Large Processes Based on Identification of Relevant Tasks

A New Verification Technique for Large Processes Based on Identification of Relevant Tasks
Author:

Richard Mrasek, Jutta Mülle, Klemens Böhm

Source:

Information Systems Journal, Elsevier Science Publisher, 2014