Home Page
» Online Library » Towards formal ASM semantics of timed control systems for industrial CPS
Towards formal ASM semantics of timed control systems for industrial CPS
| Theme: |
Downloading for authorized users
|
|
| Author: | , Дроздов Дмитрий Николаевич (with the team of authors) | |
| Type: | Article | |
| Kind: | Electronic copy | |
| Parts: | 1 | |
| The year of publishing: | 2019 | |
| Publishing house: | IEEE Publisher | |
| Publishing place: | IEEE International Conference on Emerging Technologies and Factory Automation, ETFA | |
| The target audience: | Researcher | |
| Special purpose: | Scientific | |
| Copyright holder: | IEEE | |
| DOI: | 10.1109/ETFA.2019.8869293 | |
| Bibliographic reference: | Drozdov D., Patil S., Dubinin V., Vyatkin V. Towards formal ASM semantics of timed control systems for industrial CPS // 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA’2019). – pp. 1682-1685. | |
| Url: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85074192868&origin=inward | |
| Language: | English | |
| Post date: | 08.11.2019 |