Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems.

Nabil Zakhama, Pascal Estraillier

Browse the full ECRTS paper archive.