Cited By
View all- Müllner N(2022)Karnaugh-Veitch Maps as Minimal Formal Contract between Textual Requirements and Tests: A Use-Case Based Technical AnalysisElectronics10.3390/electronics1115243011:15(2430)Online publication date: 4-Aug-2022
- Tran N(2019)A Specification-Based Approach to Model Checking Event-Driven SystemsProceedings of the 10th International Symposium on Information and Communication Technology10.1145/3368926.3369703(449-456)Online publication date: 4-Dec-2019
- Tran NAoki T(2019)Conformance Testing of Schedulers for DSL-based Model CheckingModel Checking Software10.1007/978-3-030-30923-7_12(208-225)Online publication date: 15-Jul-2019
- Show More Cited By