Projects per year
Original language | English |
---|---|
Title of host publication | IEEE International Conference on Software Testing, Verification and Validation |
Publisher | . |
Pages | 260-263 |
Publication status | Published - 2014 |
Event | IEEE International Conference on Software Testing, Verification and Validation: ICST 2014 - Ohio, United States Duration: 31 Mar 2014 → 4 Apr 2014 |
Conference
Conference | IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Country/Territory | United States |
City | Ohio |
Period | 31/03/14 → 4/04/14 |
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Project: Research project