BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems
IEEE Transactions on Computers
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
Proceedings of the tenth international symposium on Hardware/software codesign
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Timing fault detection for safety-critical real-time embedded systems
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Hi-index | 0.00 |