메뉴 건너뛰기




Volumn 2791, Issue , 2004, Pages 60-72

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; PROGRAM COMPILERS; SCHEDULING; TIME SHARING SYSTEMS;

EID: 34547226561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40903-8_6     Document Type: Article
Times cited : (113)

References (11)
  • 7
    • 84888231408 scopus 로고    scopus 로고
    • Timed automata with asynchronous processes: Schedulability and decidability
    • Springer
    • E. Fersman, P. Pettersson, and W. Yi. Timed automata with asynchronous processes: Schedulability and decidability. In Proc. of TACAS'02, volume 2280 of LNCS, pages 67-82. Springer, 2002.
    • (2002) Proc. of TACAS'02, Volume 2280 of LNCS , vol.2280 , pp. 67-82
    • Fersman, E.1    Pettersson, P.2    Yi, W.3
  • 11
    • 0013136761 scopus 로고
    • PhD thesis, Department of Computer Science, Chalmers University of Technology
    • Wang Yi. A Calculus of Real Time Systems. PhD thesis, Department of Computer Science, Chalmers University of Technology, 1991.
    • (1991) A Calculus of Real Time Systems
    • Yi, W.1


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