Auflistung nach Schlagwort "CTL"

Sortiert nach: Sortierung: Ergebnisse:

  • Time Constrained Verification of Analog Circuits using Model-Checking Algorithms 
    Grabowski, Darius; Platte, Daniel; Hedrich, Lars; Barke, Erich (Amsterdam : Elsevier BV, 2006)
    In this contribution we present algorithms for model checking of analog circuits enabling the specification of time constraints. Furthermore, a methodology for defining time-based specifications is introduced. An already ...