메뉴 건너뛰기




Volumn 2280 LNCS, Issue , 2002, Pages 37-51

Digitisation and full abstraction for dense-time model checking

Author keywords

[No Author keywords available]

Indexed keywords

INVERSE PROBLEMS; SPECIFICATIONS;

EID: 84888237341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46002-0_4     Document Type: Conference Paper
Times cited : (23)

References (29)
  • 4
    • 43949167687 scopus 로고
    • Real-time logics: Complexity and expressiveness
    • R. Alur and T. A. Henzinger. Real-time logics: Complexity and expressiveness. Information and Computation, 104(1):35-77, 1993.
    • (1993) Information and Computation , vol.104 , Issue.1 , pp. 35-77
    • Alur, R.1    Henzinger, T.A.2
  • 5
    • 0028202370 scopus 로고
    • A really temporal logic
    • R. Alur and T. A. Henzinger. A really temporal logic. Journal of the ACM, 41(1):181-204, 1994.
    • (1994) Journal of the ACM , vol.41 , Issue.1 , pp. 181-204
    • Alur, R.1    Henzinger, T.A.2
  • 6
    • 84958044638 scopus 로고    scopus 로고
    • Timing analysis in cospan
    • Springer LNCS
    • R. Alur and R. P. Kurshan. Timing analysis in Cospan. In Proceedings of Hybrid Systems III, volume 1066, pages 220-231. Springer LNCS, 1996.
    • (1996) Proceedings of Hybrid Systems III , vol.1066 , pp. 220-231
    • Alur, R.1    Kurshan, R.P.2
  • 7
    • 84958037228 scopus 로고    scopus 로고
    • UppAal: A tool-suite for automatic verification of real-time systems
    • Springer LNCS
    • J. Bengtsson, K. G. Larsen, F. Larsen, P. Pettersson, and W. Yi. UppAal: A tool-suite for automatic verification of real-time systems. In Proceedings of Hybrid Systems III, volume 1066, pages 232-243. Springer LNCS, 1996.
    • (1996) Proceedings of Hybrid Systems III , vol.1066 , pp. 232-243
    • Bengtsson, J.1    Larsen, K.G.2    Larsen, F.3    Pettersson, P.4    Yi, W.5
  • 18
    • 3042595419 scopus 로고    scopus 로고
    • Discrete analysis of continuous behaviour in real-time concurrent systems
    • PhD thesis, Oxford University
    • J. Ouaknine. Discrete Analysis of Continuous Behaviour in Real-Time Concurrent Systems. PhD thesis, Oxford University, 2001. Technical report PRG-RR-01-06.
    • (2001) Technical Report PRG-RR-01-06
    • Ouaknine, J.1
  • 21
    • 0345766839 scopus 로고    scopus 로고
    • The timed failures-stability model for CSP
    • G. M. Reed and A. W. Roscoe. The timed failures-stability model for CSP. Theoretical Computer Science, 211:85-127, 1999.
    • (1999) Theoretical Computer Science , vol.211 , pp. 85-127
    • Reed, G.M.1    Roscoe, A.W.2
  • 25
    • 0000042060 scopus 로고
    • An operational semantics for timed CSP
    • S. A. Schneider. An operational semantics for Timed CSP. Information and Computation, 116:193-213, 1995.
    • (1995) Information and Computation , vol.116 , pp. 193-213
    • Schneider, S.A.1
  • 26
    • 0030781562 scopus 로고    scopus 로고
    • Timewise refinement for communicating processes
    • S. A. Schneider. Timewise refinement for communicating processes. Science of Computer Programming, 28:43-90, 1997.
    • (1997) Science of Computer Programming , vol.28 , pp. 43-90
    • Schneider, S.A.1


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