Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951529016> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2951529016 abstract "This paper concerns automatic verification of process-oriented control algorithms in cyber-physical systems. We introduce a verification approach based on plant simulator and present an implementation of the approach using on the LabVIEW package and Reflex language translator." @default.
- W2951529016 created "2019-06-27" @default.
- W2951529016 creator A5004962624 @default.
- W2951529016 creator A5088886105 @default.
- W2951529016 creator A5090387282 @default.
- W2951529016 date "2019-04-01" @default.
- W2951529016 modified "2023-09-23" @default.
- W2951529016 title "LabVIEW-based Automatic Verification of Process-Oriented Software" @default.
- W2951529016 cites W1821552239 @default.
- W2951529016 cites W2011521967 @default.
- W2951529016 cites W2031454477 @default.
- W2951529016 cites W2099529102 @default.
- W2951529016 cites W2126039446 @default.
- W2951529016 cites W2228793699 @default.
- W2951529016 cites W2438125591 @default.
- W2951529016 cites W2506598342 @default.
- W2951529016 cites W2508757107 @default.
- W2951529016 cites W2565390164 @default.
- W2951529016 cites W2620084289 @default.
- W2951529016 cites W2774168310 @default.
- W2951529016 cites W2866783276 @default.
- W2951529016 cites W1994141359 @default.
- W2951529016 doi "https://doi.org/10.1109/sibcon.2019.8729596" @default.
- W2951529016 hasPublicationYear "2019" @default.
- W2951529016 type Work @default.
- W2951529016 sameAs 2951529016 @default.
- W2951529016 citedByCount "0" @default.
- W2951529016 crossrefType "proceedings-article" @default.
- W2951529016 hasAuthorship W2951529016A5004962624 @default.
- W2951529016 hasAuthorship W2951529016A5088886105 @default.
- W2951529016 hasAuthorship W2951529016A5090387282 @default.
- W2951529016 hasConcept C111498074 @default.
- W2951529016 hasConcept C115903868 @default.
- W2951529016 hasConcept C127413603 @default.
- W2951529016 hasConcept C149091818 @default.
- W2951529016 hasConcept C149635348 @default.
- W2951529016 hasConcept C155386361 @default.
- W2951529016 hasConcept C186846655 @default.
- W2951529016 hasConcept C199360897 @default.
- W2951529016 hasConcept C21547014 @default.
- W2951529016 hasConcept C2777904410 @default.
- W2951529016 hasConcept C33054407 @default.
- W2951529016 hasConcept C3406870 @default.
- W2951529016 hasConcept C41008148 @default.
- W2951529016 hasConcept C48002344 @default.
- W2951529016 hasConcept C62460635 @default.
- W2951529016 hasConcept C98045186 @default.
- W2951529016 hasConceptScore W2951529016C111498074 @default.
- W2951529016 hasConceptScore W2951529016C115903868 @default.
- W2951529016 hasConceptScore W2951529016C127413603 @default.
- W2951529016 hasConceptScore W2951529016C149091818 @default.
- W2951529016 hasConceptScore W2951529016C149635348 @default.
- W2951529016 hasConceptScore W2951529016C155386361 @default.
- W2951529016 hasConceptScore W2951529016C186846655 @default.
- W2951529016 hasConceptScore W2951529016C199360897 @default.
- W2951529016 hasConceptScore W2951529016C21547014 @default.
- W2951529016 hasConceptScore W2951529016C2777904410 @default.
- W2951529016 hasConceptScore W2951529016C33054407 @default.
- W2951529016 hasConceptScore W2951529016C3406870 @default.
- W2951529016 hasConceptScore W2951529016C41008148 @default.
- W2951529016 hasConceptScore W2951529016C48002344 @default.
- W2951529016 hasConceptScore W2951529016C62460635 @default.
- W2951529016 hasConceptScore W2951529016C98045186 @default.
- W2951529016 hasLocation W29515290161 @default.
- W2951529016 hasOpenAccess W2951529016 @default.
- W2951529016 hasPrimaryLocation W29515290161 @default.
- W2951529016 hasRelatedWork W1494893806 @default.
- W2951529016 hasRelatedWork W1618460288 @default.
- W2951529016 hasRelatedWork W1869419125 @default.
- W2951529016 hasRelatedWork W1915947700 @default.
- W2951529016 hasRelatedWork W1978043332 @default.
- W2951529016 hasRelatedWork W1982192612 @default.
- W2951529016 hasRelatedWork W2036122326 @default.
- W2951529016 hasRelatedWork W2044976120 @default.
- W2951529016 hasRelatedWork W2056587223 @default.
- W2951529016 hasRelatedWork W2098461019 @default.
- W2951529016 hasRelatedWork W2103756589 @default.
- W2951529016 hasRelatedWork W2106102385 @default.
- W2951529016 hasRelatedWork W2122749543 @default.
- W2951529016 hasRelatedWork W2133432144 @default.
- W2951529016 hasRelatedWork W235019560 @default.
- W2951529016 hasRelatedWork W2374754502 @default.
- W2951529016 hasRelatedWork W2388587378 @default.
- W2951529016 hasRelatedWork W2951673048 @default.
- W2951529016 hasRelatedWork W2171317158 @default.
- W2951529016 hasRelatedWork W3002924209 @default.
- W2951529016 isParatext "false" @default.
- W2951529016 isRetracted "false" @default.
- W2951529016 magId "2951529016" @default.
- W2951529016 workType "article" @default.