External Links

    Journal: Formal Methods in System Design

    Volume 35, Issue 2

    121 -- 151Laura Bozzelli, Salvatore La Torre. Decision problems for lower/upper bound parametric timed automata
    152 -- 189Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
    190 -- 225Alain Girault, Éric Rutten. Automating the addition of fault tolerance with discrete controller synthesis
    runs on