Matches in SemOpenAlex for { <https://semopenalex.org/work/W2371710894> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2371710894 abstract "Function behavior requirements(FBR) and safety behavior requirements(SBR) were described by action se-quences.Compared with the traditional logic or graphic form,action sequences can express the temporal relationship among interactive behaviors more exactly.Moreover,FBR pattern and SBR pattern are constructed by action sequences,and the operation semantics of these patterns are also given.To implement the requirement verification based on behavior patterns,the necessary and sufficient conditions as well as the checking algorithm for the satisfiability of FBR pattern and SBR pattern are presented and proven by redefining the property expression and combination operation of LTS's safety and liveness.The framework has been widely applied in the formal verification validation of component-based CTCS2/3 systems,and has shown great theoretical and practical significance to combinational verification of Compo-nent-based safety-critical systems." @default.
- W2371710894 created "2016-06-24" @default.
- W2371710894 creator A5030156453 @default.
- W2371710894 date "2011-01-01" @default.
- W2371710894 modified "2023-09-23" @default.
- W2371710894 title "Research on verification of behavior requirement patterns based on action sequences" @default.
- W2371710894 hasPublicationYear "2011" @default.
- W2371710894 type Work @default.
- W2371710894 sameAs 2371710894 @default.
- W2371710894 citedByCount "2" @default.
- W2371710894 countsByYear W23717108942014 @default.
- W2371710894 countsByYear W23717108942015 @default.
- W2371710894 crossrefType "journal-article" @default.
- W2371710894 hasAuthorship W2371710894A5030156453 @default.
- W2371710894 hasConcept C110251889 @default.
- W2371710894 hasConcept C111498074 @default.
- W2371710894 hasConcept C11413529 @default.
- W2371710894 hasConcept C121332964 @default.
- W2371710894 hasConcept C14036430 @default.
- W2371710894 hasConcept C15569618 @default.
- W2371710894 hasConcept C168167062 @default.
- W2371710894 hasConcept C168773769 @default.
- W2371710894 hasConcept C25016198 @default.
- W2371710894 hasConcept C2780791683 @default.
- W2371710894 hasConcept C41008148 @default.
- W2371710894 hasConcept C62520636 @default.
- W2371710894 hasConcept C6943359 @default.
- W2371710894 hasConcept C78458016 @default.
- W2371710894 hasConcept C80444323 @default.
- W2371710894 hasConcept C86803240 @default.
- W2371710894 hasConcept C97355855 @default.
- W2371710894 hasConceptScore W2371710894C110251889 @default.
- W2371710894 hasConceptScore W2371710894C111498074 @default.
- W2371710894 hasConceptScore W2371710894C11413529 @default.
- W2371710894 hasConceptScore W2371710894C121332964 @default.
- W2371710894 hasConceptScore W2371710894C14036430 @default.
- W2371710894 hasConceptScore W2371710894C15569618 @default.
- W2371710894 hasConceptScore W2371710894C168167062 @default.
- W2371710894 hasConceptScore W2371710894C168773769 @default.
- W2371710894 hasConceptScore W2371710894C25016198 @default.
- W2371710894 hasConceptScore W2371710894C2780791683 @default.
- W2371710894 hasConceptScore W2371710894C41008148 @default.
- W2371710894 hasConceptScore W2371710894C62520636 @default.
- W2371710894 hasConceptScore W2371710894C6943359 @default.
- W2371710894 hasConceptScore W2371710894C78458016 @default.
- W2371710894 hasConceptScore W2371710894C80444323 @default.
- W2371710894 hasConceptScore W2371710894C86803240 @default.
- W2371710894 hasConceptScore W2371710894C97355855 @default.
- W2371710894 hasLocation W23717108941 @default.
- W2371710894 hasOpenAccess W2371710894 @default.
- W2371710894 hasPrimaryLocation W23717108941 @default.
- W2371710894 hasRelatedWork W1456346089 @default.
- W2371710894 hasRelatedWork W1537387651 @default.
- W2371710894 hasRelatedWork W1998559974 @default.
- W2371710894 hasRelatedWork W2118811067 @default.
- W2371710894 hasRelatedWork W2121902485 @default.
- W2371710894 hasRelatedWork W2129973098 @default.
- W2371710894 hasRelatedWork W2138378249 @default.
- W2371710894 hasRelatedWork W2144690539 @default.
- W2371710894 hasRelatedWork W2188057831 @default.
- W2371710894 hasRelatedWork W2330593560 @default.
- W2371710894 hasRelatedWork W2401030685 @default.
- W2371710894 hasRelatedWork W2531728244 @default.
- W2371710894 hasRelatedWork W2725751056 @default.
- W2371710894 hasRelatedWork W2734802684 @default.
- W2371710894 hasRelatedWork W2792237047 @default.
- W2371710894 hasRelatedWork W2899051451 @default.
- W2371710894 hasRelatedWork W2902987430 @default.
- W2371710894 hasRelatedWork W2951761201 @default.
- W2371710894 hasRelatedWork W574795656 @default.
- W2371710894 hasRelatedWork W65125029 @default.
- W2371710894 isParatext "false" @default.
- W2371710894 isRetracted "false" @default.
- W2371710894 magId "2371710894" @default.
- W2371710894 workType "article" @default.