KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Verification of Annotated Textual Use-Cases

Simko, Viliam 1; Hauzar, David; Hnetynka, Petr; Bures, Tomas; Plasil, Frantisek
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1093/comjnl/bxu068
Scopus
Zitationen: 4
Web of Science
Zitationen: 3
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2015
Sprache Englisch
Identifikator ISSN: 0010-4620, 1460-2067
KITopen-ID: 1000056022
Erschienen in The computer journal
Verlag Oxford University Press (OUP)
Band 58
Heft 7
Seiten 1495-1529
Nachgewiesen in Scopus
Dimensions
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page