Matches in SemOpenAlex for { <https://semopenalex.org/work/W205401416> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W205401416 abstract "A system’s architecture influence on the functions and other properties of embedded systems makes its high level analysis and verification very desirable. EAST-ADL is an architecture description la ..." @default.
- W205401416 created "2016-06-24" @default.
- W205401416 creator A5016735339 @default.
- W205401416 creator A5025773724 @default.
- W205401416 creator A5037948491 @default.
- W205401416 creator A5079870005 @default.
- W205401416 date "2012-01-01" @default.
- W205401416 modified "2023-09-27" @default.
- W205401416 title "Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT" @default.
- W205401416 hasPublicationYear "2012" @default.
- W205401416 type Work @default.
- W205401416 sameAs 205401416 @default.
- W205401416 citedByCount "1" @default.
- W205401416 countsByYear W2054014162012 @default.
- W205401416 crossrefType "journal-article" @default.
- W205401416 hasAuthorship W205401416A5016735339 @default.
- W205401416 hasAuthorship W205401416A5025773724 @default.
- W205401416 hasAuthorship W205401416A5037948491 @default.
- W205401416 hasAuthorship W205401416A5079870005 @default.
- W205401416 hasConcept C119599485 @default.
- W205401416 hasConcept C127413603 @default.
- W205401416 hasConcept C32802771 @default.
- W205401416 hasConcept C41008148 @default.
- W205401416 hasConceptScore W205401416C119599485 @default.
- W205401416 hasConceptScore W205401416C127413603 @default.
- W205401416 hasConceptScore W205401416C32802771 @default.
- W205401416 hasConceptScore W205401416C41008148 @default.
- W205401416 hasLocation W2054014161 @default.
- W205401416 hasOpenAccess W205401416 @default.
- W205401416 hasPrimaryLocation W2054014161 @default.
- W205401416 hasRelatedWork W127164251 @default.
- W205401416 hasRelatedWork W1482720120 @default.
- W205401416 hasRelatedWork W1542124114 @default.
- W205401416 hasRelatedWork W169129071 @default.
- W205401416 hasRelatedWork W1763952687 @default.
- W205401416 hasRelatedWork W1983169919 @default.
- W205401416 hasRelatedWork W1986784833 @default.
- W205401416 hasRelatedWork W1991486575 @default.
- W205401416 hasRelatedWork W2014477620 @default.
- W205401416 hasRelatedWork W2015018862 @default.
- W205401416 hasRelatedWork W2084750379 @default.
- W205401416 hasRelatedWork W2094686007 @default.
- W205401416 hasRelatedWork W2105710452 @default.
- W205401416 hasRelatedWork W2106507440 @default.
- W205401416 hasRelatedWork W2145352651 @default.
- W205401416 hasRelatedWork W2548903005 @default.
- W205401416 hasRelatedWork W2790431569 @default.
- W205401416 hasRelatedWork W2791735768 @default.
- W205401416 hasRelatedWork W2811396066 @default.
- W205401416 hasRelatedWork W343788950 @default.
- W205401416 isParatext "false" @default.
- W205401416 isRetracted "false" @default.
- W205401416 magId "205401416" @default.
- W205401416 workType "article" @default.