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ženo v:

Podrobná bibliografie
Vydáno 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:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.12.2020 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!