Operational Semantics of Annotated Reflex Programs
Reflex is a process-oriented language that provides a design of easy-to-maintain control software for programmable logic controllers. The language has been successfully used in a several reliability critical control systems, e. g. control software for a silicon single crystal growth furnace and elec...
প্রধান লেখক: | |
---|---|
বিন্যাস: | প্রবন্ধ |
ভাষা: | English |
প্রকাশিত: |
Yaroslavl State University
2019-12-01
|
মালা: | Моделирование и анализ информационных систем |
বিষয়গুলি: | |
অনলাইন ব্যবহার করুন: | https://www.mais-journal.ru/jour/article/view/1271 |