Architectural Techniques for the Description and Validation of Distributed Real-Time Systems.

Laurent Thomas, Thomas Lambolais, Renaud Lesiour

Browse the full ISORC paper archive.