Cited By
View all- Simpson A(2019)Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed ApproachFormal Methods Teaching10.1007/978-3-030-32441-4_13(196-211)Online publication date: 7-Oct-2019
- Aoki TSatoh MTani MYatake KKishi T(2017)Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating SystemCyber-Physical System Design from an Architecture Analysis Viewpoint10.1007/978-981-10-4436-6_5(109-132)Online publication date: 12-May-2017
- Taguchi KNishihara HAoki TKumeno FHayamizu KShinozaki K(2013)Building a Body of Knowledge on Model Checking for Software DevelopmentProceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference10.1109/COMPSAC.2013.129(784-789)Online publication date: 22-Jul-2013
- Show More Cited By