Validating the Design of Real-Time Systems Using a Formal Specification Method.

Flix Buenda Garca, Joan Vila-Carb

Browse the full ECRTS paper archive.