메뉴 건너뛰기




Volumn 531 LNCS, Issue , 1991, Pages 272-281

Synthesizing processes and schedulers from temporal specifications

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; SCHEDULING;

EID: 85030768560     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0023741     Document Type: Conference Paper
Times cited : (23)

References (14)
  • 1
    • 0000655710 scopus 로고
    • Automata for modeling real-time systems
    • R. Alur and D. Dill, “Automata for modeling real-time systems”, ICALP 1990.
    • (1990) ICALP
    • Alur, R.1    Dill, D.2
  • 5
    • 0000153639 scopus 로고
    • Scheduling algorithms for hard real-time systems — a brief survey
    • IEEE Press
    • S-C. Cheng and J. A. Stankovic, “Scheduling algorithms for hard real-time systems — a brief survey”, in Hard Real-Time Systems, IEEE Press, 1988, pp. 150-173.
    • (1988) Hard Real-Time Systems , pp. 150-173
    • Cheng, S.-C.1    Stankovic, J.A.2


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