Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950045300> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2950045300 abstract "Reflex is a process-oriented language that provides design of easy-to-maintain control software. The language has been successfully used in several safety-critical cyber-physical systems, e. g. control software for a silicon single crystal growth furnace. Now, the main goal of the Reflex language project is development a support for computer aided software engineering targeted to safety-critical application. The current issue of the project we discuss in this paper is creating static verification methods for Reflex programs. As base of the most static verification techniques is a formal language semantics, this paper presents the Reflex language semantics in form of the transformational one." @default.
- W2950045300 created "2019-06-27" @default.
- W2950045300 creator A5003023511 @default.
- W2950045300 creator A5004962624 @default.
- W2950045300 creator A5038348814 @default.
- W2950045300 creator A5056223695 @default.
- W2950045300 creator A5088886105 @default.
- W2950045300 creator A5090387282 @default.
- W2950045300 date "2019-04-01" @default.
- W2950045300 modified "2023-09-24" @default.
- W2950045300 title "Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics" @default.
- W2950045300 cites W1557010631 @default.
- W2950045300 cites W1569952392 @default.
- W2950045300 cites W1818561783 @default.
- W2950045300 cites W1964546727 @default.
- W2950045300 cites W1984890877 @default.
- W2950045300 cites W2011521967 @default.
- W2950045300 cites W2023312039 @default.
- W2950045300 cites W2031454477 @default.
- W2950045300 cites W2059525923 @default.
- W2950045300 cites W2099529102 @default.
- W2950045300 cites W2137918685 @default.
- W2950045300 cites W2160022481 @default.
- W2950045300 cites W2506598342 @default.
- W2950045300 cites W3106373601 @default.
- W2950045300 cites W3189981105 @default.
- W2950045300 cites W1994141359 @default.
- W2950045300 doi "https://doi.org/10.1109/sibcon.2019.8729633" @default.
- W2950045300 hasPublicationYear "2019" @default.
- W2950045300 type Work @default.
- W2950045300 sameAs 2950045300 @default.
- W2950045300 citedByCount "12" @default.
- W2950045300 countsByYear W29500453002019 @default.
- W2950045300 countsByYear W29500453002020 @default.
- W2950045300 countsByYear W29500453002021 @default.
- W2950045300 countsByYear W29500453002022 @default.
- W2950045300 crossrefType "proceedings-article" @default.
- W2950045300 hasAuthorship W2950045300A5003023511 @default.
- W2950045300 hasAuthorship W2950045300A5004962624 @default.
- W2950045300 hasAuthorship W2950045300A5038348814 @default.
- W2950045300 hasAuthorship W2950045300A5056223695 @default.
- W2950045300 hasAuthorship W2950045300A5088886105 @default.
- W2950045300 hasAuthorship W2950045300A5090387282 @default.
- W2950045300 hasConcept C115903868 @default.
- W2950045300 hasConcept C15744967 @default.
- W2950045300 hasConcept C169760540 @default.
- W2950045300 hasConcept C184337299 @default.
- W2950045300 hasConcept C199360897 @default.
- W2950045300 hasConcept C38775462 @default.
- W2950045300 hasConcept C41008148 @default.
- W2950045300 hasConcept C77805123 @default.
- W2950045300 hasConcept C83974742 @default.
- W2950045300 hasConceptScore W2950045300C115903868 @default.
- W2950045300 hasConceptScore W2950045300C15744967 @default.
- W2950045300 hasConceptScore W2950045300C169760540 @default.
- W2950045300 hasConceptScore W2950045300C184337299 @default.
- W2950045300 hasConceptScore W2950045300C199360897 @default.
- W2950045300 hasConceptScore W2950045300C38775462 @default.
- W2950045300 hasConceptScore W2950045300C41008148 @default.
- W2950045300 hasConceptScore W2950045300C77805123 @default.
- W2950045300 hasConceptScore W2950045300C83974742 @default.
- W2950045300 hasLocation W29500453001 @default.
- W2950045300 hasOpenAccess W2950045300 @default.
- W2950045300 hasPrimaryLocation W29500453001 @default.
- W2950045300 hasRelatedWork W1525484054 @default.
- W2950045300 hasRelatedWork W1525704558 @default.
- W2950045300 hasRelatedWork W1531526303 @default.
- W2950045300 hasRelatedWork W1553796612 @default.
- W2950045300 hasRelatedWork W1821552239 @default.
- W2950045300 hasRelatedWork W1974645478 @default.
- W2950045300 hasRelatedWork W2002761094 @default.
- W2950045300 hasRelatedWork W2029429552 @default.
- W2950045300 hasRelatedWork W2054937948 @default.
- W2950045300 hasRelatedWork W2077466974 @default.
- W2950045300 hasRelatedWork W2080525674 @default.
- W2950045300 hasRelatedWork W2113788211 @default.
- W2950045300 hasRelatedWork W2119280185 @default.
- W2950045300 hasRelatedWork W2124328410 @default.
- W2950045300 hasRelatedWork W2133490144 @default.
- W2950045300 hasRelatedWork W2144892130 @default.
- W2950045300 hasRelatedWork W2154325595 @default.
- W2950045300 hasRelatedWork W2169854666 @default.
- W2950045300 hasRelatedWork W2170382629 @default.
- W2950045300 hasRelatedWork W2171942385 @default.
- W2950045300 isParatext "false" @default.
- W2950045300 isRetracted "false" @default.
- W2950045300 magId "2950045300" @default.
- W2950045300 workType "article" @default.