Matches in SemOpenAlex for { <https://semopenalex.org/work/W2355321531> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2355321531 abstract "Models used in real-time schedule theory usually lack formal semantics.Aiming at this problem,this paper presents an approach that transfers the semantics of result behavior into the formal method of system model,which can combine with effective timed analysis technology and present the steady-state equivalence of task networks and Candidate Type Architecture(CTA) model based on existing formalism to map task networks model into respective CTA model,and prove the semantic equivalence by theorem.The proposed method is applied to specific instance.Practical examples demonstrate the method can replace the schedule model,and be applied to real-time schedule system effiectively." @default.
- W2355321531 created "2016-06-24" @default.
- W2355321531 creator A5029689576 @default.
- W2355321531 date "2012-01-01" @default.
- W2355321531 modified "2023-09-23" @default.
- W2355321531 title "Equivalent Model Verification of Task Network to Timed Automata" @default.
- W2355321531 hasPublicationYear "2012" @default.
- W2355321531 type Work @default.
- W2355321531 sameAs 2355321531 @default.
- W2355321531 citedByCount "0" @default.
- W2355321531 crossrefType "journal-article" @default.
- W2355321531 hasAuthorship W2355321531A5029689576 @default.
- W2355321531 hasConcept C110251889 @default.
- W2355321531 hasConcept C111498074 @default.
- W2355321531 hasConcept C111919701 @default.
- W2355321531 hasConcept C112505250 @default.
- W2355321531 hasConcept C138885662 @default.
- W2355321531 hasConcept C142362112 @default.
- W2355321531 hasConcept C153349607 @default.
- W2355321531 hasConcept C162324750 @default.
- W2355321531 hasConcept C167822520 @default.
- W2355321531 hasConcept C184337299 @default.
- W2355321531 hasConcept C187736073 @default.
- W2355321531 hasConcept C199360897 @default.
- W2355321531 hasConcept C2780069185 @default.
- W2355321531 hasConcept C2780451532 @default.
- W2355321531 hasConcept C30788636 @default.
- W2355321531 hasConcept C41008148 @default.
- W2355321531 hasConcept C41895202 @default.
- W2355321531 hasConcept C558565934 @default.
- W2355321531 hasConcept C68387754 @default.
- W2355321531 hasConcept C73301696 @default.
- W2355321531 hasConcept C80444323 @default.
- W2355321531 hasConceptScore W2355321531C110251889 @default.
- W2355321531 hasConceptScore W2355321531C111498074 @default.
- W2355321531 hasConceptScore W2355321531C111919701 @default.
- W2355321531 hasConceptScore W2355321531C112505250 @default.
- W2355321531 hasConceptScore W2355321531C138885662 @default.
- W2355321531 hasConceptScore W2355321531C142362112 @default.
- W2355321531 hasConceptScore W2355321531C153349607 @default.
- W2355321531 hasConceptScore W2355321531C162324750 @default.
- W2355321531 hasConceptScore W2355321531C167822520 @default.
- W2355321531 hasConceptScore W2355321531C184337299 @default.
- W2355321531 hasConceptScore W2355321531C187736073 @default.
- W2355321531 hasConceptScore W2355321531C199360897 @default.
- W2355321531 hasConceptScore W2355321531C2780069185 @default.
- W2355321531 hasConceptScore W2355321531C2780451532 @default.
- W2355321531 hasConceptScore W2355321531C30788636 @default.
- W2355321531 hasConceptScore W2355321531C41008148 @default.
- W2355321531 hasConceptScore W2355321531C41895202 @default.
- W2355321531 hasConceptScore W2355321531C558565934 @default.
- W2355321531 hasConceptScore W2355321531C68387754 @default.
- W2355321531 hasConceptScore W2355321531C73301696 @default.
- W2355321531 hasConceptScore W2355321531C80444323 @default.
- W2355321531 hasLocation W23553215311 @default.
- W2355321531 hasOpenAccess W2355321531 @default.
- W2355321531 hasPrimaryLocation W23553215311 @default.
- W2355321531 hasRelatedWork W130102441 @default.
- W2355321531 hasRelatedWork W132127320 @default.
- W2355321531 hasRelatedWork W1548878183 @default.
- W2355321531 hasRelatedWork W1594197804 @default.
- W2355321531 hasRelatedWork W1601211035 @default.
- W2355321531 hasRelatedWork W1643848536 @default.
- W2355321531 hasRelatedWork W1788367161 @default.
- W2355321531 hasRelatedWork W1979825258 @default.
- W2355321531 hasRelatedWork W1994647920 @default.
- W2355321531 hasRelatedWork W2028827800 @default.
- W2355321531 hasRelatedWork W2082762653 @default.
- W2355321531 hasRelatedWork W2153269726 @default.
- W2355321531 hasRelatedWork W2158931957 @default.
- W2355321531 hasRelatedWork W2242571144 @default.
- W2355321531 hasRelatedWork W2369896276 @default.
- W2355321531 hasRelatedWork W2373389320 @default.
- W2355321531 hasRelatedWork W2384984106 @default.
- W2355321531 hasRelatedWork W2613829783 @default.
- W2355321531 hasRelatedWork W2698891358 @default.
- W2355321531 hasRelatedWork W2768054586 @default.
- W2355321531 isParatext "false" @default.
- W2355321531 isRetracted "false" @default.
- W2355321531 magId "2355321531" @default.
- W2355321531 workType "article" @default.