Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle

Book title Buchtitel
Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle
 
Publisher Herausgeber
Xpert Publishing Services
 

Publications Publikationen

Filter:
Subject:  answer-set programming

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Answer-Set Programming as a new Approach to Event-Sequence TestingKonferenzbeitrag Inproceedings 2011