Cited By
View all- 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
- Chourey VSharma M(2016)Functional Flow Diagram(FFD): Semantics for evolving software2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI)10.1109/ICACCI.2016.7732377(2193-2199)Online publication date: Sep-2016
- Gogolla MCabot J(2016)Continuing a Benchmark for UML and OCL Design and Analysis ToolsSoftware Technologies: Applications and Foundations10.1007/978-3-319-50230-4_22(289-302)Online publication date: 1-Dec-2016
- Show More Cited By