KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifying Temporal Properties of Use-Cases in Natural Language

Simko, Viliam; Hauzar, David; Bures, Tomas; Hnetynka, Petr; Plasil, Frantisek


Download
Originalveröffentlichung
DOI: 10.1007/978-3-642-35743-5_21
Scopus
Zitationen: 3
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Fakultät für Wirtschaftswissenschaften – Institut für Informationswirtschaft und -management (IISM)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2012
Sprache Englisch
Identifikator ISBN: 978-3-642-35742-8
ISSN: 0302-9743
KITopen-ID: 1000056014
Erschienen in Formal aspects of component software : 8th international symposium; revised selected papers, FACS 2011, Oslo, Norway, September 14 - 16, 2011. Ed.: F. Arbab
Verlag Springer Verlag
Seiten 350-367
Serie Lecture notes in computer science ; 7253
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page