Extending CTL to Specify Quantitative Temporal Requirements
Manuel Isidoro Capel-Tuñón; Juan Garbajosa (Hrsg). Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems MSVVEIS 2010 in conjunction with ICEIS 2010; Funchal, Madeira, Portugal; 8 - 12 June, 2010. Setúbal: INSTICC Press 2010 S. 70 - 79
Erscheinungsjahr: 2010
ISBN/ISSN: 978-989-8425-12-6
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.5220/0003021500700079
| Geprüft | Bibliothek |
