Browse "School of Electrical Engineering(전기및전자공학부)" by Subject formal methods
Showing results 1 to 3 of 3
| 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 |
| 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 |
Discover
Open Access
- 573 OA Article
Date issued
- 4,865 2020 - 2024
- 18,943 2010 - 2019
- 15,019 2000 - 2009
- 7,644 1990 - 1999
- 2,391 1980 - 1989