Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
TAP-D: A model for developing specialization tracks in a graduate software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
A Model for a Flexible and Predictable Object-Oriented Real-Time System
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Deductive Verification of Probabilistic Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Engineering Real-Time Robotics Software Systems Using CLEOPATRA
Integrated Computer-Aided Engineering
Hi-index | 0.00 |