Browse by Subject temporal logic
Showing results 1 to 6 of 6
| A semantics of sequence diagrams Cho, SM; Kim, HH; Cha, Sungdeok; Bae, Doo-Hwan, INFORMATION PROCESSING LETTERS, v.84, no.3, pp.125 - 130, 2002-11 |
| Fuzzy branching temporal logic Moon, SI; Lee, Kwang-Hyung; Lee, Doheon, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, v.34, pp.1045 - 1055, 2004-04 |
| Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002 |
| Specification and Validation of Dynamic Systems Using Temporal Logic Cho, Seung Mo; Kim, Hyung Ho; Cha, Sung Deok; Bae, Doo Hwan, IEE Proceedings - Software, Vol.148, No.4, pp.135-140, 2001-08 |
| Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
| Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
Discover
Type
Open Access
Date issued
- 34,202 2020 - 2024
- 100,102 2010 - 2019
- 75,680 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969