Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149505323> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2149505323 abstract "A detailed generic model of the control design process is introduced and discussed. It is used for surveying different formal approaches in the context of PLC programming. The survey focuses on formal methods for verification and validation (V&V). The varying works in this area are categorized using three criteria: the general approach (A) to the task (model based, constraint based or without a model), the formalism (F) (Petri net, automata, etc.,) used to state the formal description, and the method (M) (model-checking, reachability analysis, etc.,) used to analyze the properties. Based on these three criteria (A-F-M) a three letter code for V&V approaches is introduced. Some works from the multitude of V&V research are presented and categorized using this new system." @default.
- W2149505323 created "2016-06-24" @default.
- W2149505323 creator A5033124404 @default.
- W2149505323 creator A5056060218 @default.
- W2149505323 date "2002-11-07" @default.
- W2149505323 modified "2023-10-18" @default.
- W2149505323 title "Formal methods in PLC programming" @default.
- W2149505323 cites W1508998125 @default.
- W2149505323 cites W1541947827 @default.
- W2149505323 cites W1593651098 @default.
- W2149505323 cites W1608205571 @default.
- W2149505323 cites W1672464956 @default.
- W2149505323 cites W1885037678 @default.
- W2149505323 cites W1906016869 @default.
- W2149505323 cites W1974202634 @default.
- W2149505323 cites W2009129255 @default.
- W2149505323 cites W2010108014 @default.
- W2149505323 cites W2024700017 @default.
- W2149505323 cites W2026429908 @default.
- W2149505323 cites W2044943300 @default.
- W2149505323 cites W2059057465 @default.
- W2149505323 cites W2072078345 @default.
- W2149505323 cites W2078984959 @default.
- W2149505323 cites W2133978468 @default.
- W2149505323 cites W2140769622 @default.
- W2149505323 cites W2147340401 @default.
- W2149505323 cites W2156860046 @default.
- W2149505323 cites W2159542925 @default.
- W2149505323 cites W2159950991 @default.
- W2149505323 cites W2170301162 @default.
- W2149505323 doi "https://doi.org/10.1109/icsmc.2000.884356" @default.
- W2149505323 hasPublicationYear "2002" @default.
- W2149505323 type Work @default.
- W2149505323 sameAs 2149505323 @default.
- W2149505323 citedByCount "220" @default.
- W2149505323 countsByYear W21495053232012 @default.
- W2149505323 countsByYear W21495053232013 @default.
- W2149505323 countsByYear W21495053232014 @default.
- W2149505323 countsByYear W21495053232015 @default.
- W2149505323 countsByYear W21495053232016 @default.
- W2149505323 countsByYear W21495053232017 @default.
- W2149505323 countsByYear W21495053232018 @default.
- W2149505323 countsByYear W21495053232019 @default.
- W2149505323 countsByYear W21495053232020 @default.
- W2149505323 countsByYear W21495053232021 @default.
- W2149505323 countsByYear W21495053232022 @default.
- W2149505323 crossrefType "proceedings-article" @default.
- W2149505323 hasAuthorship W2149505323A5033124404 @default.
- W2149505323 hasAuthorship W2149505323A5056060218 @default.
- W2149505323 hasConcept C110251889 @default.
- W2149505323 hasConcept C111498074 @default.
- W2149505323 hasConcept C112505250 @default.
- W2149505323 hasConcept C115903868 @default.
- W2149505323 hasConcept C136643341 @default.
- W2149505323 hasConcept C142362112 @default.
- W2149505323 hasConcept C153349607 @default.
- W2149505323 hasConcept C199360897 @default.
- W2149505323 hasConcept C38677869 @default.
- W2149505323 hasConcept C41008148 @default.
- W2149505323 hasConcept C558565934 @default.
- W2149505323 hasConcept C73301696 @default.
- W2149505323 hasConcept C75606506 @default.
- W2149505323 hasConcept C80444323 @default.
- W2149505323 hasConceptScore W2149505323C110251889 @default.
- W2149505323 hasConceptScore W2149505323C111498074 @default.
- W2149505323 hasConceptScore W2149505323C112505250 @default.
- W2149505323 hasConceptScore W2149505323C115903868 @default.
- W2149505323 hasConceptScore W2149505323C136643341 @default.
- W2149505323 hasConceptScore W2149505323C142362112 @default.
- W2149505323 hasConceptScore W2149505323C153349607 @default.
- W2149505323 hasConceptScore W2149505323C199360897 @default.
- W2149505323 hasConceptScore W2149505323C38677869 @default.
- W2149505323 hasConceptScore W2149505323C41008148 @default.
- W2149505323 hasConceptScore W2149505323C558565934 @default.
- W2149505323 hasConceptScore W2149505323C73301696 @default.
- W2149505323 hasConceptScore W2149505323C75606506 @default.
- W2149505323 hasConceptScore W2149505323C80444323 @default.
- W2149505323 hasLocation W21495053231 @default.
- W2149505323 hasOpenAccess W2149505323 @default.
- W2149505323 hasPrimaryLocation W21495053231 @default.
- W2149505323 hasRelatedWork W1488218540 @default.
- W2149505323 hasRelatedWork W1638774901 @default.
- W2149505323 hasRelatedWork W2062774982 @default.
- W2149505323 hasRelatedWork W206281402 @default.
- W2149505323 hasRelatedWork W2139930485 @default.
- W2149505323 hasRelatedWork W2202657245 @default.
- W2149505323 hasRelatedWork W2296663577 @default.
- W2149505323 hasRelatedWork W2604636945 @default.
- W2149505323 hasRelatedWork W3147623613 @default.
- W2149505323 hasRelatedWork W2507178713 @default.
- W2149505323 isParatext "false" @default.
- W2149505323 isRetracted "false" @default.
- W2149505323 magId "2149505323" @default.
- W2149505323 workType "article" @default.