Operational Semantics of Annotated Reflex Programs

— Reflex is a process-oriented language for developing easy-to-maintain control software for programmable logic controllers. The language has been successfully used in several safety-critical control systems, e.g., in control systems of a silicon single crystal growing furnace and electronic equipme...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Automatic control and computer sciences Ročník 54; číslo 7; s. 719 - 727
Hlavný autor:	Anureev, I. S.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Predmet:	Annotations Clocks Computer Science Control equipment Control Structures and Microprogramming Control systems Crystal growth Electronic equipment Formal specifications Hand driers Language Programmable logic controllers Safety critical Semantics Single crystals Software Software reliability Verification annotation programmable logic controller control software operational semantics annotated program Reflex language control system
ISSN:	0146-4116, 1558-108X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!