KIT | KIT-Bibliothek | Impressum | Datenschutz

A new verification technique for large processes based on identification of relevant tasks

Mrasek, Richard); Mülle, Jutta 1; Böhm, Klemens 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1016/j.is.2014.07.001
Scopus
Zitationen: 12
Web of Science
Zitationen: 9
Dimensions
Zitationen: 10
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2015
Sprache Englisch
Identifikator ISSN: 0094-453x, 0306-4379, 1873-6076
KITopen-ID: 1000058644
Erschienen in Information systems
Verlag Pergamon
Band 47
Seiten 82-97
Nachgewiesen in Web of Science
Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page