메뉴 건너뛰기




Volumn 1345, Issue , 1997, Pages 46-56

Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS;

EID: 84957643327     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63875-X_42     Document Type: Conference Paper
Times cited : (9)

References (14)
  • 4
    • 84884658320 scopus 로고
    • Specifying real-time systems with Z and the Duration Calculus
    • In J. Bowen and J. Hall, editors,, Workshops in Computing, Springer-Verlag, Berlin, Heidelberg, New York
    • M. Engel, Specifying real-time systems with Z and the Duration Calculus. In J. Bowen and J. Hall, editors, Z User Workshop, Cambridge 1994, Workshops in Computing, pages 282-294. Springer-Verlag, Berlin, Heidelberg, New York, 1994.
    • (1994) Z User Workshop, Cambridge 1994 , pp. 282-294
    • Engel, M.1
  • 5
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • June
    • David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 10
    • 0012053729 scopus 로고    scopus 로고
    • A structure preserving encoding of Z in Isabelle/HOL
    • In J. von Wright, J. Grundy, and J. Harrison, editors, number 1125 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg, New York
    • Kolyang, Thomas Santen, and Burkhart Wolff. A structure preserving encoding of Z in Isabelle/HOL. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher-Order Logics, number 1125 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 1996.
    • (1996) Theorem Proving in Higher-Order Logics
    • Kolyang, T.S.1    Wolff, B.2
  • 11
    • 0013317302 scopus 로고
    • PhD thesis, Stanford University, Tech. Report STAN-CS-83-970
    • B. C. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Stanford University, 1983. Tech. Report STAN-CS-83-970.
    • (1983) Reasoning about Digital Circuits
    • Moszkowski, B.C.1
  • 12
    • 84958790003 scopus 로고
    • What is in a step: On the semantics of statecharts
    • Takayasu Ito and Albert R. Meyer, editors, New York, September Springer-Verlag. Lecture Notes in Computer Science 526
    • A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In Takayasu Ito and Albert R. Meyer, editors, Theoretical Aspects of Computer Software, pages 244-264, New York, September 1991. Springer-Verlag. Lecture Notes in Computer Science 526.
    • (1991) Theoretical Aspects of Computer Software , pp. 244-264
    • Pnueli, A.1    Shalev, M.2
  • 13
    • 0003566434 scopus 로고
    • Prentice Hall International Series in Computer Science, 2nd edition
    • J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
    • (1992) The Z Notation: A Reference Manual
    • Spivey, J.M.1


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