PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
- Title
- PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
- Authors
- 배경민
- Date Issued
- 2012-11-12
- Publisher
- FTSCS
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/72077
- Article Type
- Conference
- Citation
- International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.