Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097553185> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2097553185 abstract "Programmable logic controllers (PLCs) are widely used in computer-based industrial applications. Timers play a pivotal role in PLC real-time embedded system applications. The paper addresses the formal validation of PLC systems with timers in the theorem proving system Coq. The timer behavior is characterized formally. A refinement validation methodology is presented in terms of an abstract model and a concrete model. The refinement is calibrated by a mapping relation. The soundness of the methodology is shown in the proving system. An illustrative case study demonstrates the effectiveness of the approach." @default.
- W2097553185 created "2016-06-24" @default.
- W2097553185 creator A5045067652 @default.
- W2097553185 creator A5073617379 @default.
- W2097553185 creator A5082437433 @default.
- W2097553185 creator A5088526794 @default.
- W2097553185 date "2010-07-01" @default.
- W2097553185 modified "2023-10-16" @default.
- W2097553185 title "A Refinement-Based Validation Method for Programmable Logic Controllers" @default.
- W2097553185 cites W1573465202 @default.
- W2097553185 cites W1588212183 @default.
- W2097553185 cites W1928403718 @default.
- W2097553185 cites W2084880396 @default.
- W2097553185 cites W2149505323 @default.
- W2097553185 cites W2151150043 @default.
- W2097553185 cites W2309279609 @default.
- W2097553185 cites W2911450990 @default.
- W2097553185 doi "https://doi.org/10.1109/qsic.2010.27" @default.
- W2097553185 hasPublicationYear "2010" @default.
- W2097553185 type Work @default.
- W2097553185 sameAs 2097553185 @default.
- W2097553185 citedByCount "1" @default.
- W2097553185 countsByYear W20975531852015 @default.
- W2097553185 crossrefType "proceedings-article" @default.
- W2097553185 hasAuthorship W2097553185A5045067652 @default.
- W2097553185 hasAuthorship W2097553185A5073617379 @default.
- W2097553185 hasAuthorship W2097553185A5082437433 @default.
- W2097553185 hasAuthorship W2097553185A5088526794 @default.
- W2097553185 hasBestOaLocation W20975531852 @default.
- W2097553185 hasConcept C110251889 @default.
- W2097553185 hasConcept C111498074 @default.
- W2097553185 hasConcept C111919701 @default.
- W2097553185 hasConcept C124101348 @default.
- W2097553185 hasConcept C149635348 @default.
- W2097553185 hasConcept C173018170 @default.
- W2097553185 hasConcept C199360897 @default.
- W2097553185 hasConcept C206880738 @default.
- W2097553185 hasConcept C25343380 @default.
- W2097553185 hasConcept C2776633867 @default.
- W2097553185 hasConcept C37374048 @default.
- W2097553185 hasConcept C39920170 @default.
- W2097553185 hasConcept C41008148 @default.
- W2097553185 hasConceptScore W2097553185C110251889 @default.
- W2097553185 hasConceptScore W2097553185C111498074 @default.
- W2097553185 hasConceptScore W2097553185C111919701 @default.
- W2097553185 hasConceptScore W2097553185C124101348 @default.
- W2097553185 hasConceptScore W2097553185C149635348 @default.
- W2097553185 hasConceptScore W2097553185C173018170 @default.
- W2097553185 hasConceptScore W2097553185C199360897 @default.
- W2097553185 hasConceptScore W2097553185C206880738 @default.
- W2097553185 hasConceptScore W2097553185C25343380 @default.
- W2097553185 hasConceptScore W2097553185C2776633867 @default.
- W2097553185 hasConceptScore W2097553185C37374048 @default.
- W2097553185 hasConceptScore W2097553185C39920170 @default.
- W2097553185 hasConceptScore W2097553185C41008148 @default.
- W2097553185 hasLocation W20975531851 @default.
- W2097553185 hasLocation W20975531852 @default.
- W2097553185 hasLocation W20975531853 @default.
- W2097553185 hasOpenAccess W2097553185 @default.
- W2097553185 hasPrimaryLocation W20975531851 @default.
- W2097553185 hasRelatedWork W1516983868 @default.
- W2097553185 hasRelatedWork W1532984424 @default.
- W2097553185 hasRelatedWork W2097553185 @default.
- W2097553185 hasRelatedWork W2151898527 @default.
- W2097553185 hasRelatedWork W2799255120 @default.
- W2097553185 hasRelatedWork W2973029119 @default.
- W2097553185 hasRelatedWork W3041056129 @default.
- W2097553185 hasRelatedWork W47563837 @default.
- W2097553185 hasRelatedWork W98039524 @default.
- W2097553185 hasRelatedWork W1894736207 @default.
- W2097553185 isParatext "false" @default.
- W2097553185 isRetracted "false" @default.
- W2097553185 magId "2097553185" @default.
- W2097553185 workType "article" @default.