Modeling of Nondeterministic Discrete Events Dynamic System Using Real-Time Temporal logic Framework (실시간 시간논리 구조를 이용한 비결정적 이산사건 동적시스템의 모델링)
-
- Proceedings of the Korean Institute of Intelligent Systems Conference
- /
- 1998.10a
- /
- pp.485-491
- /
- 1998