Data Flow Control Systems: an Example of Safety Validation.

Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli

Browse the full SAFECOMP paper archive.