Browse by Subject formal methods
Showing results 1 to 7 of 7
| A real-time discrete event system specification formalism for seamless real-time software development Hong, JS; Song, HS; Kim, Tag-Gon; Park, KH, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v.7, no.4, pp.355 - 375, 1997-10 |
| Incremental scenario modeling using hierarchical object-oriented Petri Net Hong, JE; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.11, no.3, pp.357 - 386, 2001-06 |
| Pet Formalisms versus Industry-Proven Survivors: Issues on Formal Methods Education Cha, Sungdeok, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.32, no.1, pp.39 - 46, 2000-02 |
| Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification = NuSCR 요구 명세의 속성 기반 정리 증명과 템플릿 기반 고장 수목 분석link Kim, Tae-Ho; 김태호; et al, 한국과학기술원, 2005 |
| Reachability-Based Decision-Making for Autonomous Driving: Theory and Experiments Ahn, Heejin; Berntorp, Karl; Inani, Pranav; Ram, Arjun Jagdish; Di Cairano, Stefano, IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, v.29, no.5, pp.1907 - 1921, 2021-09 |
| Symbolic reachability analysis for multiple-clock system design Yi, JH; Kyung, Chong-Min, JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, v.14, pp.533 - 551, 2005-06 |
| Systematic evaluation of fault trees using real-time model checker UPPAAL Cha, S; Son, H; Yoo, J; Jee, E; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.82, no.1, pp.11 - 20, 2003-10 |
Discover
Type
Open Access
Date issued
- 31,475 2020 - 2024
- 99,981 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969