On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language (Appendix)

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language (Appendix)

Content
Grafik
Authors
  • Czepa, Christoph
  • Zdun, Uwe
Grafik Top
Shortfacts
Category
 Technical Report (Technical Report)
Divisions
 Software Architecture
Date
 2018
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.