共 50 条
- [1] Component-based abstraction and refinement [J]. HIGH CONFIDENCE SOFTWARE REUSE IN LARGE SYSTEMS, PROCEEDINGS, 2008, 5030 : 39 - +
- [5] Component-based Abstraction Refinement for Timed Controller Synthesis [J]. 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2009, : 364 - +
- [6] A Theory of Fault Recovery for Component-Based Models [J]. 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2011, : 265 - 270
- [7] On Timing Analysis of Component-based Vehicular Distributed Embedded Systems at Various Abstraction Levels [J]. 2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2016, : 277 - 278
- [8] Counterexample-guided Abstraction Refinement for Component-based Systems [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 201 - 210
- [9] Decision Tree Toolkit: A Component-Based Library of Decision Tree Algorithms [J]. LECTURE NOTES IN COMPUTER SCIENCE <D>, 2000, 1910 : 381 - 387
- [10] Self-adjusting component-based fault management [J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 118 - +