Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152383599> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2152383599 abstract "In this contribution an advanced methodology for model checking of analog systems is introduced. A new Analog Specification Language (ASL) for efficient property specifications is defined and model checking algorithms for implementing this language are presented. This allows verification of complex static and dynamic circuit properties like Oscillation and Startup Time that have not yet been formally verifiable with previous approaches. The new verification methodology is applied to example circuits and experimental results are discussed and compared to conventional circuit simulation." @default.
- W2152383599 created "2016-06-24" @default.
- W2152383599 creator A5038049766 @default.
- W2152383599 creator A5080174920 @default.
- W2152383599 date "2008-03-10" @default.
- W2152383599 modified "2023-09-25" @default.
- W2152383599 title "Model checking of analog systems using an analog specification language" @default.
- W2152383599 cites W1570732927 @default.
- W2152383599 cites W1976415026 @default.
- W2152383599 cites W2026229283 @default.
- W2152383599 cites W2051068608 @default.
- W2152383599 cites W2169895193 @default.
- W2152383599 doi "https://doi.org/10.1145/1403375.1403453" @default.
- W2152383599 hasPublicationYear "2008" @default.
- W2152383599 type Work @default.
- W2152383599 sameAs 2152383599 @default.
- W2152383599 citedByCount "24" @default.
- W2152383599 countsByYear W21523835992012 @default.
- W2152383599 countsByYear W21523835992013 @default.
- W2152383599 countsByYear W21523835992014 @default.
- W2152383599 countsByYear W21523835992015 @default.
- W2152383599 countsByYear W21523835992016 @default.
- W2152383599 countsByYear W21523835992017 @default.
- W2152383599 countsByYear W21523835992023 @default.
- W2152383599 crossrefType "proceedings-article" @default.
- W2152383599 hasAuthorship W2152383599A5038049766 @default.
- W2152383599 hasAuthorship W2152383599A5080174920 @default.
- W2152383599 hasConcept C110251889 @default.
- W2152383599 hasConcept C111472728 @default.
- W2152383599 hasConcept C111498074 @default.
- W2152383599 hasConcept C113775141 @default.
- W2152383599 hasConcept C119599485 @default.
- W2152383599 hasConcept C127413603 @default.
- W2152383599 hasConcept C134146338 @default.
- W2152383599 hasConcept C138885662 @default.
- W2152383599 hasConcept C177264268 @default.
- W2152383599 hasConcept C189950617 @default.
- W2152383599 hasConcept C199360897 @default.
- W2152383599 hasConcept C201677973 @default.
- W2152383599 hasConcept C29074008 @default.
- W2152383599 hasConcept C41008148 @default.
- W2152383599 hasConcept C80444323 @default.
- W2152383599 hasConcept C85847156 @default.
- W2152383599 hasConceptScore W2152383599C110251889 @default.
- W2152383599 hasConceptScore W2152383599C111472728 @default.
- W2152383599 hasConceptScore W2152383599C111498074 @default.
- W2152383599 hasConceptScore W2152383599C113775141 @default.
- W2152383599 hasConceptScore W2152383599C119599485 @default.
- W2152383599 hasConceptScore W2152383599C127413603 @default.
- W2152383599 hasConceptScore W2152383599C134146338 @default.
- W2152383599 hasConceptScore W2152383599C138885662 @default.
- W2152383599 hasConceptScore W2152383599C177264268 @default.
- W2152383599 hasConceptScore W2152383599C189950617 @default.
- W2152383599 hasConceptScore W2152383599C199360897 @default.
- W2152383599 hasConceptScore W2152383599C201677973 @default.
- W2152383599 hasConceptScore W2152383599C29074008 @default.
- W2152383599 hasConceptScore W2152383599C41008148 @default.
- W2152383599 hasConceptScore W2152383599C80444323 @default.
- W2152383599 hasConceptScore W2152383599C85847156 @default.
- W2152383599 hasLocation W21523835991 @default.
- W2152383599 hasOpenAccess W2152383599 @default.
- W2152383599 hasPrimaryLocation W21523835991 @default.
- W2152383599 hasRelatedWork W149934527 @default.
- W2152383599 hasRelatedWork W1614816533 @default.
- W2152383599 hasRelatedWork W169955824 @default.
- W2152383599 hasRelatedWork W174007698 @default.
- W2152383599 hasRelatedWork W2128091120 @default.
- W2152383599 hasRelatedWork W2135788462 @default.
- W2152383599 hasRelatedWork W2151898527 @default.
- W2152383599 hasRelatedWork W2248653679 @default.
- W2152383599 hasRelatedWork W47563837 @default.
- W2152383599 hasRelatedWork W2752098725 @default.
- W2152383599 isParatext "false" @default.
- W2152383599 isRetracted "false" @default.
- W2152383599 magId "2152383599" @default.
- W2152383599 workType "article" @default.