Formal Specification and Analysis of Timing Properties in Software Systems.

Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura

Browse the full FASE paper archive.