Cited By
View all- Yildiz BRensink ABockisch CAksit M(2017)A Model-Derivation Framework for Software AnalysisElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.244.9244(217-229)Online publication date: 15-Mar-2017
- Schivo SYildiz BRuijters EGerking CKumar RDziwok SRensink AStoelinga M(2017)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven ApproachDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-319-69483-2_19(319-336)Online publication date: 17-Oct-2017
- Ravn AThomsen BSøe Luckow KLeth LBøgholm T(2017)Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model CheckingModels, Algorithms, Logics and Tools10.1007/978-3-319-63121-9_14(269-288)Online publication date: 25-Jul-2017
- Show More Cited By