메뉴 건너뛰기




Volumn , Issue , 2001, Pages 15-25

TILCO-X, an extension of TILCO temporal logic

Author keywords

First order logic; Formal specification language; Real time systems; Temporal interval logic; Temporal operators; Verification and validation

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; INVARIANCE; MATHEMATICAL MODELS; SEMANTICS;

EID: 0034860115     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (18)
  • 1
    • 0029267083 scopus 로고
    • Tools for specifying real-time systems
    • March; also reprinted in Key Successful Software Development Readings, IEEE (1999) and in A Practical Approach to Real Time Systems, IEEE (P. Laplante, ed.) (1999)
    • (1995) Journal of Real-Time Systems , vol.8 , pp. 117-172
    • Bucci, G.1    Campanai, M.2    Nesi, P.3
  • 10
    • 4243824698 scopus 로고
    • Actions and events in interval temporal logic
    • Tech. rep., University of Rochester Computer Science Department, TR-URCSD 521, Rochester, New York 14627, July
    • (1994)
    • Allen, J.F.1    Ferguson, G.2
  • 14
    • 0005390296 scopus 로고
    • Real-time logics: Complexity and expressiveness
    • Tech. rep., Dept. of Comp. Science and Medicine STAN-CS-90 1307, Stanford University, Stanford, California, USA, March
    • (1990)
    • Alur, R.1    Henzinger, T.A.2


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