Matches in SemOpenAlex for { <https://semopenalex.org/work/W2549874460> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2549874460 endingPage "347" @default.
- W2549874460 startingPage "317" @default.
- W2549874460 abstract "This chapter contains sections titled: Introduction Preliminaries Statechart Structure Configurations and Operations State Invariant Verification Accumulated Invariants Verification Condition Generation Priority Among Transitions Conclusions References" @default.
- W2549874460 created "2016-11-30" @default.
- W2549874460 creator A5040143379 @default.
- W2549874460 date "2009-10-19" @default.
- W2549874460 modified "2023-10-17" @default.
- W2549874460 title "Design Verification with State Invariants" @default.
- W2549874460 cites W1521090518 @default.
- W2549874460 cites W1522273308 @default.
- W2549874460 cites W1551331198 @default.
- W2549874460 cites W1597414920 @default.
- W2549874460 cites W1872058502 @default.
- W2549874460 cites W1977237988 @default.
- W2549874460 cites W1985804037 @default.
- W2549874460 cites W2099529102 @default.
- W2549874460 cites W2102434757 @default.
- W2549874460 cites W2129395888 @default.
- W2549874460 cites W2141706812 @default.
- W2549874460 cites W2155379435 @default.
- W2549874460 cites W2400387248 @default.
- W2549874460 cites W2432516 @default.
- W2549874460 cites W4206056772 @default.
- W2549874460 cites W4254354208 @default.
- W2549874460 doi "https://doi.org/10.1002/9780470522622.ch13" @default.
- W2549874460 hasPublicationYear "2009" @default.
- W2549874460 type Work @default.
- W2549874460 sameAs 2549874460 @default.
- W2549874460 citedByCount "3" @default.
- W2549874460 countsByYear W25498744602016 @default.
- W2549874460 countsByYear W25498744602019 @default.
- W2549874460 crossrefType "other" @default.
- W2549874460 hasAuthorship W2549874460A5040143379 @default.
- W2549874460 hasConcept C199360897 @default.
- W2549874460 hasConcept C41008148 @default.
- W2549874460 hasConcept C48103436 @default.
- W2549874460 hasConceptScore W2549874460C199360897 @default.
- W2549874460 hasConceptScore W2549874460C41008148 @default.
- W2549874460 hasConceptScore W2549874460C48103436 @default.
- W2549874460 hasLocation W25498744601 @default.
- W2549874460 hasOpenAccess W2549874460 @default.
- W2549874460 hasPrimaryLocation W25498744601 @default.
- W2549874460 hasRelatedWork W1596801655 @default.
- W2549874460 hasRelatedWork W2130043461 @default.
- W2549874460 hasRelatedWork W2350741829 @default.
- W2549874460 hasRelatedWork W2358668433 @default.
- W2549874460 hasRelatedWork W2376932109 @default.
- W2549874460 hasRelatedWork W2382290278 @default.
- W2549874460 hasRelatedWork W2390279801 @default.
- W2549874460 hasRelatedWork W2748952813 @default.
- W2549874460 hasRelatedWork W2899084033 @default.
- W2549874460 hasRelatedWork W2530322880 @default.
- W2549874460 isParatext "false" @default.
- W2549874460 isRetracted "false" @default.
- W2549874460 magId "2549874460" @default.
- W2549874460 workType "other" @default.