On systematic design of globally consistent executable assertions in embedded software
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Dependability-Driven System-Level Design Approach for Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Specification and design considerations for reliable embedded systems
Proceedings of the conference on Design, automation and test in Europe
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
A software integration approach for designing and assessing dependable embedded systems
Journal of Systems and Software
Reliability-driven deployment optimization for embedded systems
Journal of Systems and Software
Hi-index | 0.00 |