Sciweavers

316 search results - page 5 / 64
» Software engineering for real-time: a roadmap
Sort
View
FASE
2005
Springer
15 years 3 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...
IWSAS
2001
Springer
15 years 2 months ago
Managing Online Self-adaptation in Real-Time Environments
Robert P. Goldman, David J. Musliner, Kurt D. Kreb...
67
Voted
EUROMICRO
2004
IEEE
15 years 1 months ago
Component-Based Real-Time Design: Mapping HRT-HOOD to UML
Tullio Vardanega, Marco Di Natale, Silvia Mazzini,...
ADAEUROPE
2010
Springer
14 years 10 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...