Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113248790> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2113248790 endingPage "171" @default.
- W2113248790 startingPage "161" @default.
- W2113248790 abstract "This paper presents an approach that formally models real-time tasks and scheduling strategies in terms of timed-automata, and then formalizes timing constraints of tasks into reachability properties, which, thus, can be validated by using model checking tool Uppaal. This approach is detailed through two pre-emptive priority-driven scheduling strategies: rate monotonic priority assignment and priority ceiling protocol." @default.
- W2113248790 created "2016-06-24" @default.
- W2113248790 creator A5048600303 @default.
- W2113248790 date "2001-01-01" @default.
- W2113248790 modified "2023-10-14" @default.
- W2113248790 title "Timing Constraints Validation Using Uppaal" @default.
- W2113248790 cites W2109488193 @default.
- W2113248790 cites W2160293203 @default.
- W2113248790 doi "https://doi.org/10.1007/978-0-387-35409-5_16" @default.
- W2113248790 hasPublicationYear "2001" @default.
- W2113248790 type Work @default.
- W2113248790 sameAs 2113248790 @default.
- W2113248790 citedByCount "0" @default.
- W2113248790 crossrefType "book-chapter" @default.
- W2113248790 hasAuthorship W2113248790A5048600303 @default.
- W2113248790 hasBestOaLocation W21132487901 @default.
- W2113248790 hasConcept C107568181 @default.
- W2113248790 hasConcept C110251889 @default.
- W2113248790 hasConcept C112505250 @default.
- W2113248790 hasConcept C117420606 @default.
- W2113248790 hasConcept C120314980 @default.
- W2113248790 hasConcept C126255220 @default.
- W2113248790 hasConcept C127456818 @default.
- W2113248790 hasConcept C134306372 @default.
- W2113248790 hasConcept C136643341 @default.
- W2113248790 hasConcept C199360897 @default.
- W2113248790 hasConcept C206729178 @default.
- W2113248790 hasConcept C30788636 @default.
- W2113248790 hasConcept C31258907 @default.
- W2113248790 hasConcept C33923547 @default.
- W2113248790 hasConcept C41008148 @default.
- W2113248790 hasConcept C5119721 @default.
- W2113248790 hasConcept C72169020 @default.
- W2113248790 hasConcept C79403827 @default.
- W2113248790 hasConcept C80444323 @default.
- W2113248790 hasConceptScore W2113248790C107568181 @default.
- W2113248790 hasConceptScore W2113248790C110251889 @default.
- W2113248790 hasConceptScore W2113248790C112505250 @default.
- W2113248790 hasConceptScore W2113248790C117420606 @default.
- W2113248790 hasConceptScore W2113248790C120314980 @default.
- W2113248790 hasConceptScore W2113248790C126255220 @default.
- W2113248790 hasConceptScore W2113248790C127456818 @default.
- W2113248790 hasConceptScore W2113248790C134306372 @default.
- W2113248790 hasConceptScore W2113248790C136643341 @default.
- W2113248790 hasConceptScore W2113248790C199360897 @default.
- W2113248790 hasConceptScore W2113248790C206729178 @default.
- W2113248790 hasConceptScore W2113248790C30788636 @default.
- W2113248790 hasConceptScore W2113248790C31258907 @default.
- W2113248790 hasConceptScore W2113248790C33923547 @default.
- W2113248790 hasConceptScore W2113248790C41008148 @default.
- W2113248790 hasConceptScore W2113248790C5119721 @default.
- W2113248790 hasConceptScore W2113248790C72169020 @default.
- W2113248790 hasConceptScore W2113248790C79403827 @default.
- W2113248790 hasConceptScore W2113248790C80444323 @default.
- W2113248790 hasLocation W21132487901 @default.
- W2113248790 hasOpenAccess W2113248790 @default.
- W2113248790 hasPrimaryLocation W21132487901 @default.
- W2113248790 hasRelatedWork W1482244861 @default.
- W2113248790 hasRelatedWork W1488218540 @default.
- W2113248790 hasRelatedWork W1525435179 @default.
- W2113248790 hasRelatedWork W2095644384 @default.
- W2113248790 hasRelatedWork W2113248790 @default.
- W2113248790 hasRelatedWork W2121789641 @default.
- W2113248790 hasRelatedWork W2202657245 @default.
- W2113248790 hasRelatedWork W2368796975 @default.
- W2113248790 hasRelatedWork W2390771667 @default.
- W2113248790 hasRelatedWork W2584551737 @default.
- W2113248790 isParatext "false" @default.
- W2113248790 isRetracted "false" @default.
- W2113248790 magId "2113248790" @default.
- W2113248790 workType "book-chapter" @default.