„time-constrained MSC“

Suchergebnisse

1 Treffer

• Model checking time-constrained scenario-based specifications
  Akshay, S. ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik