Refinement-Based Development of Timed Systems.

Jesper Berthing, Pontus Bostrm, Kaisa Sere, Leonidas Tsiopoulos, Jri Vain

Browse the full IFM paper archive.