메뉴 건너뛰기




Volumn 2031 LNCS, Issue , 2001, Pages 189-203

Linear parametric model checking of timed automata

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

EID: 84903159824     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_14     Document Type: Conference Paper
Times cited : (48)

References (15)
  • 13
    • 0003508787 scopus 로고    scopus 로고
    • Mechanical verification of the ieee 1394a root contention protocol using uppaal2k
    • CSI, University of Nijmegen, May, Conditionally accepted for STTT
    • D.P.L. Simons and M.I.A. Stoelinga. Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Technical Report CSI-R0009, CSI, University of Nijmegen, May 2000. Conditionally accepted for STTT.
    • (2000) Technical Report CSI-R0009
    • Simons, D.P.L.1    Stoelinga, M.I.A.2
  • 15
    • 84958967825 scopus 로고    scopus 로고
    • Model checking timed automata
    • Springer-Verlag, October
    • S. Yovine. Model checking timed automata. In Lectures on Embedded Systems, LNCS 1494, pages 114-152. Springer-Verlag, October 1998.
    • (1998) Lectures on Embedded Systems, LNCS 1494 , pp. 114-152
    • Yovine, S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.