共 50 条
- [31] Design Verification of Automotive Controller Models SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2013, 6 (02): : 419 - 424
- [32] Design & Verification of Automotive SoC Firmware 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
- [34] Verification of evolving software via component substitutability analysis Formal Methods in System Design, 2008, 32 : 235 - 266
- [37] Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines IEEE ACCESS, 2017, 5 : 4505 - 4516
- [38] Hierarchical Specification and Verification of Architectural Design Patterns FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2018), 2018, 10802 : 149 - 168
- [39] The Verification Approach to Complex Tasks' Functional Specification in Software Crowdsourcing PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2016, : 171 - 176
- [40] ABSTRACTION, IDEALIZATION AND MODELING IN THE SPECIFICATION, CONSTRUCTION AND VERIFICATION OF SOFTWARE SYSTEMS ANGEWANDTE INFORMATIK, 1983, (12): : 541 - 548