Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142319317> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2142319317 abstract "LabVIEW is a commercial tool for designing virtual instruments, software substitutes for conventional laboratory instrument, that is poised for use in control and embedded applications of which avionics is an important area. To successfully transition to this new environment, LabVIEW must have a well-defined real-time semantics, e.g., for specifying stringent real-time requirements. Real Time Logic (RTL) is a first order logic for describing real-time and embedded systems. After introducing LabVIEW and RTL, we propose an RTL semantics for the basic constructs of LabVIEW and examine several of the issues that must be resolved in order to finalize an effective semantics. Providing a semantics for LabVIEW virtual instruments in RTL is a first step to its use in real-time embedded aerospace applications." @default.
- W2142319317 created "2016-06-24" @default.
- W2142319317 creator A5028305433 @default.
- W2142319317 creator A5082620786 @default.
- W2142319317 date "2002-11-27" @default.
- W2142319317 modified "2023-09-27" @default.
- W2142319317 title "An RTL semantics for LabVIEW" @default.
- W2142319317 cites W1508190831 @default.
- W2142319317 cites W1782171781 @default.
- W2142319317 cites W2056359803 @default.
- W2142319317 cites W2141321742 @default.
- W2142319317 doi "https://doi.org/10.1109/aero.1998.682156" @default.
- W2142319317 hasPublicationYear "2002" @default.
- W2142319317 type Work @default.
- W2142319317 sameAs 2142319317 @default.
- W2142319317 citedByCount "0" @default.
- W2142319317 crossrefType "proceedings-article" @default.
- W2142319317 hasAuthorship W2142319317A5028305433 @default.
- W2142319317 hasAuthorship W2142319317A5082620786 @default.
- W2142319317 hasConcept C115903868 @default.
- W2142319317 hasConcept C127413603 @default.
- W2142319317 hasConcept C146978453 @default.
- W2142319317 hasConcept C149635348 @default.
- W2142319317 hasConcept C15792166 @default.
- W2142319317 hasConcept C184337299 @default.
- W2142319317 hasConcept C199360897 @default.
- W2142319317 hasConcept C2777904410 @default.
- W2142319317 hasConcept C41008148 @default.
- W2142319317 hasConceptScore W2142319317C115903868 @default.
- W2142319317 hasConceptScore W2142319317C127413603 @default.
- W2142319317 hasConceptScore W2142319317C146978453 @default.
- W2142319317 hasConceptScore W2142319317C149635348 @default.
- W2142319317 hasConceptScore W2142319317C15792166 @default.
- W2142319317 hasConceptScore W2142319317C184337299 @default.
- W2142319317 hasConceptScore W2142319317C199360897 @default.
- W2142319317 hasConceptScore W2142319317C2777904410 @default.
- W2142319317 hasConceptScore W2142319317C41008148 @default.
- W2142319317 hasLocation W21423193171 @default.
- W2142319317 hasOpenAccess W2142319317 @default.
- W2142319317 hasPrimaryLocation W21423193171 @default.
- W2142319317 hasRelatedWork W1511266734 @default.
- W2142319317 hasRelatedWork W1754577041 @default.
- W2142319317 hasRelatedWork W1904708905 @default.
- W2142319317 hasRelatedWork W1924092303 @default.
- W2142319317 hasRelatedWork W1967971423 @default.
- W2142319317 hasRelatedWork W2005594817 @default.
- W2142319317 hasRelatedWork W2038449234 @default.
- W2142319317 hasRelatedWork W2072757195 @default.
- W2142319317 hasRelatedWork W2080560773 @default.
- W2142319317 hasRelatedWork W2094582813 @default.
- W2142319317 hasRelatedWork W2096473900 @default.
- W2142319317 hasRelatedWork W2144540574 @default.
- W2142319317 hasRelatedWork W2149298330 @default.
- W2142319317 hasRelatedWork W2160208891 @default.
- W2142319317 hasRelatedWork W2163748468 @default.
- W2142319317 hasRelatedWork W2172234497 @default.
- W2142319317 hasRelatedWork W2463707577 @default.
- W2142319317 hasRelatedWork W2536557582 @default.
- W2142319317 hasRelatedWork W2785433235 @default.
- W2142319317 hasRelatedWork W3142587013 @default.
- W2142319317 isParatext "false" @default.
- W2142319317 isRetracted "false" @default.
- W2142319317 magId "2142319317" @default.
- W2142319317 workType "article" @default.