FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W600180819> ?p ?o ?g. }

• W600180819 endingPage "6" @default.
• W600180819 startingPage "1" @default.
• W600180819 abstract "Verifying architectural models of embedded systems is desirable, since architecture can impact the performance and resource usageof the final system implementation. To fulfill this need, one could thinkof combining formal verification and testing to achieve proofs of systemcorrectness with respect to functional and extra-functional requirements.Our first step to accomplish this goal has concretized in the development of a framework that integrates architectural models described inEast-adl language with component-based model-checking techniques.The framework is supported by a tool called ViTAL, which captures thebehavior of East-adl functions as timed automata models, which canbe formally verified in the Uppaal Port model-checker that exploitsthe components-based semantics at the architectural level. Later, thesame formal models will help generate test-suites to provide support formodel-based testing." @default.
• W600180819 created "2016-06-24" @default.
• W600180819 creator A5025773724 @default.
• W600180819 creator A5037948491 @default.
• W600180819 creator A5079870005 @default.
• W600180819 date "2012-01-01" @default.
• W600180819 modified "2023-09-23" @default.
• W600180819 title "An Integrated Framework for Component-based Analysis of Architectural System Models" @default.
• W600180819 cites W1505255894 @default.
• W600180819 cites W1512562944 @default.
• W600180819 cites W1514233891 @default.
• W600180819 cites W1514507119 @default.
• W600180819 cites W1608087281 @default.
• W600180819 cites W1610637910 @default.
• W600180819 cites W2023255236 @default.
• W600180819 cites W2083964867 @default.
• W600180819 cites W2112640524 @default.
• W600180819 cites W2116379961 @default.
• W600180819 cites W2124612694 @default.
• W600180819 cites W2157144873 @default.
• W600180819 cites W2160883697 @default.
• W600180819 hasPublicationYear "2012" @default.
• W600180819 type Work @default.
• W600180819 sameAs 600180819 @default.
• W600180819 citedByCount "0" @default.
• W600180819 crossrefType "proceedings-article" @default.
• W600180819 hasAuthorship W600180819A5025773724 @default.
• W600180819 hasAuthorship W600180819A5037948491 @default.
• W600180819 hasAuthorship W600180819A5079870005 @default.
• W600180819 hasConcept C108710211 @default.
• W600180819 hasConcept C110251889 @default.
• W600180819 hasConcept C111498074 @default.
• W600180819 hasConcept C112505250 @default.
• W600180819 hasConcept C115903868 @default.
• W600180819 hasConcept C119857082 @default.
• W600180819 hasConcept C121332964 @default.
• W600180819 hasConcept C123657996 @default.
• W600180819 hasConcept C128942645 @default.
• W600180819 hasConcept C142362112 @default.
• W600180819 hasConcept C152877465 @default.
• W600180819 hasConcept C153349607 @default.
• W600180819 hasConcept C165825675 @default.
• W600180819 hasConcept C168167062 @default.
• W600180819 hasConcept C184337299 @default.
• W600180819 hasConcept C185245429 @default.
• W600180819 hasConcept C199360897 @default.
• W600180819 hasConcept C2524010 @default.
• W600180819 hasConcept C2777904410 @default.
• W600180819 hasConcept C2778544944 @default.
• W600180819 hasConcept C33923547 @default.
• W600180819 hasConcept C35869016 @default.
• W600180819 hasConcept C41008148 @default.
• W600180819 hasConcept C55356503 @default.
• W600180819 hasConcept C80444323 @default.
• W600180819 hasConcept C97355855 @default.
• W600180819 hasConceptScore W600180819C108710211 @default.
• W600180819 hasConceptScore W600180819C110251889 @default.
• W600180819 hasConceptScore W600180819C111498074 @default.
• W600180819 hasConceptScore W600180819C112505250 @default.
• W600180819 hasConceptScore W600180819C115903868 @default.
• W600180819 hasConceptScore W600180819C119857082 @default.
• W600180819 hasConceptScore W600180819C121332964 @default.
• W600180819 hasConceptScore W600180819C123657996 @default.
• W600180819 hasConceptScore W600180819C128942645 @default.
• W600180819 hasConceptScore W600180819C142362112 @default.
• W600180819 hasConceptScore W600180819C152877465 @default.
• W600180819 hasConceptScore W600180819C153349607 @default.
• W600180819 hasConceptScore W600180819C165825675 @default.
• W600180819 hasConceptScore W600180819C168167062 @default.
• W600180819 hasConceptScore W600180819C184337299 @default.
• W600180819 hasConceptScore W600180819C185245429 @default.
• W600180819 hasConceptScore W600180819C199360897 @default.
• W600180819 hasConceptScore W600180819C2524010 @default.
• W600180819 hasConceptScore W600180819C2777904410 @default.
• W600180819 hasConceptScore W600180819C2778544944 @default.
• W600180819 hasConceptScore W600180819C33923547 @default.
• W600180819 hasConceptScore W600180819C35869016 @default.
• W600180819 hasConceptScore W600180819C41008148 @default.
• W600180819 hasConceptScore W600180819C55356503 @default.
• W600180819 hasConceptScore W600180819C80444323 @default.
• W600180819 hasConceptScore W600180819C97355855 @default.
• W600180819 hasOpenAccess W600180819 @default.
• W600180819 hasRelatedWork W1533167340 @default.
• W600180819 hasRelatedWork W1542821961 @default.
• W600180819 hasRelatedWork W1564907586 @default.
• W600180819 hasRelatedWork W1819265292 @default.
• W600180819 hasRelatedWork W2018220973 @default.
• W600180819 hasRelatedWork W2066430709 @default.
• W600180819 hasRelatedWork W2066573548 @default.
• W600180819 hasRelatedWork W2093685348 @default.
• W600180819 hasRelatedWork W2099864377 @default.
• W600180819 hasRelatedWork W2109502657 @default.
• W600180819 hasRelatedWork W2119349493 @default.
• W600180819 hasRelatedWork W2121012401 @default.
• W600180819 hasRelatedWork W2121130295 @default.
• W600180819 hasRelatedWork W2143864155 @default.
• W600180819 hasRelatedWork W2146431432 @default.
• W600180819 hasRelatedWork W2152625401 @default.

• next