KIT | KIT-Bibliothek | Impressum

Verifying Temporal Properties of Use-Cases in Natural Language

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



Zugehörige Institution(en) am KIT Institut für Informationswirtschaft und -management (IISM)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator DOI: 10.1007/978-3-642-35743-5_21
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, Berlin
Seiten 350-367
Serie Lecture notes in computer science ; 7253
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page