1 |
/
[] /
연세 한국어 전자사전
|
2 |
Anna Philippou, Oleg Slkosky, Insup Lee, Rance Cleaveland, Scott Smolka. Specifying Failures and Recoveries in PACSR. Proceeding of Workshop on Probabilistic Methods in Verification, June 1998
|
3 |
Hans A. Hansson. Time and Probability in Formal Design of Distributed Systems. ELSEVIER. 1994
|
4 |
I. Lee, P. Bremond-Gregoire, R. Gerber. A Process Algebraic Approach to the Specification and Analysis of Resource-bounded real-time systems. Procedings of the IEEE, January 1994. pp.158-171
DOI
ScienceOn
|
5 |
Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston. Automatic Verification of Real-time Systems with Discrete Probability Distribution. Technical Report CSR-00-2, University of Birmingham, 2000
|
6 |
박지연, 이철, 조기환, 이문근, '실시간 시스템의 순환공학을 위한 CASE도구: SAVE', 한국정보과학회 소프트웨어공학회지, 제14권 제3호, 2001. pp.84-97
|
7 |
Marta Kwiatkowska, G. Norman, R. Segala and J. Sproston. Verifying Soft Deadlines with Probabilistic Timed Automata. The Proceeding of WAVe '2000. June 2000
|
8 |
노경주, 박지연, 이문근, '추상 시간 기계를 이용한 순환 공학 정형 기법', 한국정보과학회 소프트웨어공학회지, 제13권 제1호, 2000. pp.32-49
과학기술학회마을
|
9 |
R. Alur, D. Dill. A Theory of Timed Automata. Theoretical Computer Science 126, 1994. pp.183-235
DOI
ScienceOn
|
10 |
Robin Miller. Communication and Concurrency. Prentice Hall. 1989
|
11 |
Zohar Manna, Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag. 1992
|
12 |
연세 한국어 전자사전
|
13 |
박지연, 이문근, '추상 시간 기계를 이용한 실시간 시스템의 도달성에 대한 검증 방법', 정보과학회논문지, Vol.28, No.2, Mar 2001. pp. 224-238
과학기술학회마을
|