Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Verification of real-time designs: combining scheduling theory with automatic formal verification
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
An Open Framework for Real-Time Scheduling Simulation
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Designing Multiprocessor/Distributed Real-Time Systems Using the ASSERTS Toolkit
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A Simple Multi-Tasking Simulator
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Embedded system's performance analysis with RTC and QT
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Hi-index | 0.00 |