Verifying Temporal Properties of Use-Cases in Natural Language
| 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 | OpenAlex Dimensions Scopus |
| Globale Ziele für nachhaltige Entwicklung |