Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545601271> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1545601271 abstract "Since it is an important issue for users and system designers, verification of PLC programs has already been studied in various contexts, mostly for untimed programs. More recently, timed features were introduced and modeled with timed automata. In this case study, we consider a part of the so-called MSS (mecatronic standard system) platform from Bosh group, a framework where time aspects are combined with multitask programming. Our model for station 2 of the MSS platform is a network of timed automata, including automata for the operative part and for the control program, written in Ladder Diagram. This model is constrained with atomicity hypotheses concerning program execution and model checking of a reaction time property is performed with the tool UPPAAL." @default.
- W1545601271 created "2016-06-24" @default.
- W1545601271 creator A5008504744 @default.
- W1545601271 creator A5036736232 @default.
- W1545601271 creator A5037213517 @default.
- W1545601271 creator A5039929095 @default.
- W1545601271 creator A5065511303 @default.
- W1545601271 date "2006-04-07" @default.
- W1545601271 modified "2023-10-17" @default.
- W1545601271 title "Verification of a timed multitask system with UPPAAL" @default.
- W1545601271 cites W1541947827 @default.
- W1545601271 cites W1863517246 @default.
- W1545601271 cites W1874725288 @default.
- W1545601271 cites W1981808971 @default.
- W1545601271 cites W2000947342 @default.
- W1545601271 cites W2101508170 @default.
- W1545601271 cites W2134997348 @default.
- W1545601271 cites W2136545402 @default.
- W1545601271 cites W2148168869 @default.
- W1545601271 cites W2149505323 @default.
- W1545601271 cites W2619757668 @default.
- W1545601271 cites W2694136767 @default.
- W1545601271 cites W59365162 @default.
- W1545601271 doi "https://doi.org/10.1109/etfa.2005.1612699" @default.
- W1545601271 hasPublicationYear "2006" @default.
- W1545601271 type Work @default.
- W1545601271 sameAs 1545601271 @default.
- W1545601271 citedByCount "4" @default.
- W1545601271 countsByYear W15456012712017 @default.
- W1545601271 crossrefType "proceedings-article" @default.
- W1545601271 hasAuthorship W1545601271A5008504744 @default.
- W1545601271 hasAuthorship W1545601271A5036736232 @default.
- W1545601271 hasAuthorship W1545601271A5037213517 @default.
- W1545601271 hasAuthorship W1545601271A5039929095 @default.
- W1545601271 hasAuthorship W1545601271A5065511303 @default.
- W1545601271 hasBestOaLocation W15456012712 @default.
- W1545601271 hasConcept C110251889 @default.
- W1545601271 hasConcept C111472728 @default.
- W1545601271 hasConcept C111498074 @default.
- W1545601271 hasConcept C112505250 @default.
- W1545601271 hasConcept C138885662 @default.
- W1545601271 hasConcept C149635348 @default.
- W1545601271 hasConcept C188045909 @default.
- W1545601271 hasConcept C189950617 @default.
- W1545601271 hasConcept C199360897 @default.
- W1545601271 hasConcept C30788636 @default.
- W1545601271 hasConcept C41008148 @default.
- W1545601271 hasConcept C75949130 @default.
- W1545601271 hasConcept C80444323 @default.
- W1545601271 hasConceptScore W1545601271C110251889 @default.
- W1545601271 hasConceptScore W1545601271C111472728 @default.
- W1545601271 hasConceptScore W1545601271C111498074 @default.
- W1545601271 hasConceptScore W1545601271C112505250 @default.
- W1545601271 hasConceptScore W1545601271C138885662 @default.
- W1545601271 hasConceptScore W1545601271C149635348 @default.
- W1545601271 hasConceptScore W1545601271C188045909 @default.
- W1545601271 hasConceptScore W1545601271C189950617 @default.
- W1545601271 hasConceptScore W1545601271C199360897 @default.
- W1545601271 hasConceptScore W1545601271C30788636 @default.
- W1545601271 hasConceptScore W1545601271C41008148 @default.
- W1545601271 hasConceptScore W1545601271C75949130 @default.
- W1545601271 hasConceptScore W1545601271C80444323 @default.
- W1545601271 hasLocation W15456012711 @default.
- W1545601271 hasLocation W154560127110 @default.
- W1545601271 hasLocation W15456012712 @default.
- W1545601271 hasLocation W15456012713 @default.
- W1545601271 hasLocation W15456012714 @default.
- W1545601271 hasLocation W15456012715 @default.
- W1545601271 hasLocation W15456012716 @default.
- W1545601271 hasLocation W15456012717 @default.
- W1545601271 hasLocation W15456012718 @default.
- W1545601271 hasLocation W15456012719 @default.
- W1545601271 hasOpenAccess W1545601271 @default.
- W1545601271 hasPrimaryLocation W15456012711 @default.
- W1545601271 hasRelatedWork W1518566078 @default.
- W1545601271 hasRelatedWork W1545601271 @default.
- W1545601271 hasRelatedWork W1941386016 @default.
- W1545601271 hasRelatedWork W1989095436 @default.
- W1545601271 hasRelatedWork W1991914552 @default.
- W1545601271 hasRelatedWork W2090756633 @default.
- W1545601271 hasRelatedWork W2169797019 @default.
- W1545601271 hasRelatedWork W2911583164 @default.
- W1545601271 hasRelatedWork W3192691254 @default.
- W1545601271 hasRelatedWork W2746280673 @default.
- W1545601271 isParatext "false" @default.
- W1545601271 isRetracted "false" @default.
- W1545601271 magId "1545601271" @default.
- W1545601271 workType "article" @default.