Home | english  | Impressum | 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
Autor:

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

Quelle:

Information Systems Journal, Elsevier Science Publisher, 2014