Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study
| Autor: | Bae, Kyungmin, Krisiloff, Joshua, Meseguer, José, Ölveczky, Peter Csaba |
|---|---|
| Zdroj: | In Science of Computer Programming 1 June 2015 103:13-50 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect