Browse by Subject STATECHARTS
Showing results 1 to 3 of 3
| Formal synthesis of application and platform behaviors of embedded software systems Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05 |
| Fuzzy linear temporal logic and fuzzy branching temporal logic = 퍼지 선형 시제논리 및 퍼지 분기 시제논리link Moon, Seong-Ick; 문성익; et al, 한국과학기술원, 2004 |
| Generating reduced finite state machine from concurrent scenarios using static partial order method Lee N.H.; Cha, Sungdeok, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.36, no.3, pp.145 - 156, 2004 |
Discover
Type
Open Access
Date issued
- 30,917 2020 - 2024
- 100,009 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969