Matches in SemOpenAlex for { <https://semopenalex.org/work/W88195005> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W88195005 abstract "This paper describes a method for model-based development of software for programmable logic controllers (PLC). The method includes modeling of a control algorithm, verifying the algorithm with respect to the requirements, and automatically generating the code in one of the IEC 61131 languages. The modeling language is UML state machine diagram, and the verification tool is UPPAAL model-checking toolbox. The method has good scalability with respect to the number of the modeled objects and the ability to cope with integer values by means of variables and function blocks." @default.
- W88195005 created "2016-06-24" @default.
- W88195005 creator A5064234844 @default.
- W88195005 date "2009-01-01" @default.
- W88195005 modified "2023-09-23" @default.
- W88195005 title "MODEL-BASED DESIGN OF CODE FOR PLC CONTROLLERS" @default.
- W88195005 cites W1513328100 @default.
- W88195005 cites W1588830055 @default.
- W88195005 cites W1826754619 @default.
- W88195005 cites W1962072139 @default.
- W88195005 cites W2140769622 @default.
- W88195005 cites W2169630160 @default.
- W88195005 doi "https://doi.org/10.5220/0002209801300135" @default.
- W88195005 hasPublicationYear "2009" @default.
- W88195005 type Work @default.
- W88195005 sameAs 88195005 @default.
- W88195005 citedByCount "0" @default.
- W88195005 crossrefType "proceedings-article" @default.
- W88195005 hasAuthorship W88195005A5064234844 @default.
- W88195005 hasConcept C110251889 @default.
- W88195005 hasConcept C111919701 @default.
- W88195005 hasConcept C145644426 @default.
- W88195005 hasConcept C149635348 @default.
- W88195005 hasConcept C16671368 @default.
- W88195005 hasConcept C167822520 @default.
- W88195005 hasConcept C177264268 @default.
- W88195005 hasConcept C199360897 @default.
- W88195005 hasConcept C202446494 @default.
- W88195005 hasConcept C206274596 @default.
- W88195005 hasConcept C2776760102 @default.
- W88195005 hasConcept C2777655017 @default.
- W88195005 hasConcept C2777904410 @default.
- W88195005 hasConcept C37374048 @default.
- W88195005 hasConcept C41008148 @default.
- W88195005 hasConcept C48044578 @default.
- W88195005 hasConcept C61505648 @default.
- W88195005 hasConcept C64219723 @default.
- W88195005 hasConceptScore W88195005C110251889 @default.
- W88195005 hasConceptScore W88195005C111919701 @default.
- W88195005 hasConceptScore W88195005C145644426 @default.
- W88195005 hasConceptScore W88195005C149635348 @default.
- W88195005 hasConceptScore W88195005C16671368 @default.
- W88195005 hasConceptScore W88195005C167822520 @default.
- W88195005 hasConceptScore W88195005C177264268 @default.
- W88195005 hasConceptScore W88195005C199360897 @default.
- W88195005 hasConceptScore W88195005C202446494 @default.
- W88195005 hasConceptScore W88195005C206274596 @default.
- W88195005 hasConceptScore W88195005C2776760102 @default.
- W88195005 hasConceptScore W88195005C2777655017 @default.
- W88195005 hasConceptScore W88195005C2777904410 @default.
- W88195005 hasConceptScore W88195005C37374048 @default.
- W88195005 hasConceptScore W88195005C41008148 @default.
- W88195005 hasConceptScore W88195005C48044578 @default.
- W88195005 hasConceptScore W88195005C61505648 @default.
- W88195005 hasConceptScore W88195005C64219723 @default.
- W88195005 hasLocation W881950051 @default.
- W88195005 hasOpenAccess W88195005 @default.
- W88195005 hasPrimaryLocation W881950051 @default.
- W88195005 hasRelatedWork W11348836 @default.
- W88195005 hasRelatedWork W1489814578 @default.
- W88195005 hasRelatedWork W1968917692 @default.
- W88195005 hasRelatedWork W1971061531 @default.
- W88195005 hasRelatedWork W2043244411 @default.
- W88195005 hasRelatedWork W2044928526 @default.
- W88195005 hasRelatedWork W2089414617 @default.
- W88195005 hasRelatedWork W2123569125 @default.
- W88195005 hasRelatedWork W2150184158 @default.
- W88195005 hasRelatedWork W2184296140 @default.
- W88195005 hasRelatedWork W2207389088 @default.
- W88195005 hasRelatedWork W2355779001 @default.
- W88195005 hasRelatedWork W2377931413 @default.
- W88195005 hasRelatedWork W2378523811 @default.
- W88195005 hasRelatedWork W2547730971 @default.
- W88195005 hasRelatedWork W2614850647 @default.
- W88195005 hasRelatedWork W2616226149 @default.
- W88195005 hasRelatedWork W2902675028 @default.
- W88195005 hasRelatedWork W1933373048 @default.
- W88195005 hasRelatedWork W3121931012 @default.
- W88195005 isParatext "false" @default.
- W88195005 isRetracted "false" @default.
- W88195005 magId "88195005" @default.
- W88195005 workType "article" @default.