Matches in SemOpenAlex for { <https://semopenalex.org/work/W3214408503> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3214408503 endingPage "43" @default.
- W3214408503 startingPage "27" @default.
- W3214408503 abstract "The development of critical systems requires the definition of a rigorous design approach enabling to check these systems before a real operation. This paper presents a component-based approach that combines UML and BIP languages for the specification and formal verification of systems. We begin by modeling the system architecture and behavior using UML. The UML models are then translated into a formal specification expressed in BIP. Finally, the SBIP framework is used for verifying the correctness of the system using Statistical Model Checking while satisfying requirements expressed by temporal properties. We apply our approach to a dam infrastructure, represented by a set of deployed sensors." @default.
- W3214408503 created "2021-11-22" @default.
- W3214408503 creator A5026014541 @default.
- W3214408503 creator A5069785845 @default.
- W3214408503 creator A5076889358 @default.
- W3214408503 date "2021-01-01" @default.
- W3214408503 modified "2023-10-14" @default.
- W3214408503 title "Component-Based Approach Combining UML and BIP for Rigorous System Design" @default.
- W3214408503 cites W137536751 @default.
- W3214408503 cites W1489858443 @default.
- W3214408503 cites W1554303980 @default.
- W3214408503 cites W1597414920 @default.
- W3214408503 cites W1604773130 @default.
- W3214408503 cites W1678889691 @default.
- W3214408503 cites W1850679117 @default.
- W3214408503 cites W1862398452 @default.
- W3214408503 cites W1939739577 @default.
- W3214408503 cites W2023808162 @default.
- W3214408503 cites W2048903680 @default.
- W3214408503 cites W2061451695 @default.
- W3214408503 cites W2166423024 @default.
- W3214408503 cites W2254160488 @default.
- W3214408503 cites W2516102539 @default.
- W3214408503 cites W2787596386 @default.
- W3214408503 cites W2886267316 @default.
- W3214408503 cites W2892813239 @default.
- W3214408503 cites W3082511520 @default.
- W3214408503 cites W3122171607 @default.
- W3214408503 cites W3173663646 @default.
- W3214408503 cites W370501305 @default.
- W3214408503 cites W4232056016 @default.
- W3214408503 cites W4254354208 @default.
- W3214408503 cites W2029347220 @default.
- W3214408503 doi "https://doi.org/10.1007/978-3-030-90636-8_2" @default.
- W3214408503 hasPublicationYear "2021" @default.
- W3214408503 type Work @default.
- W3214408503 sameAs 3214408503 @default.
- W3214408503 citedByCount "3" @default.
- W3214408503 countsByYear W32144085032022 @default.
- W3214408503 countsByYear W32144085032023 @default.
- W3214408503 crossrefType "book-chapter" @default.
- W3214408503 hasAuthorship W3214408503A5026014541 @default.
- W3214408503 hasAuthorship W3214408503A5069785845 @default.
- W3214408503 hasAuthorship W3214408503A5076889358 @default.
- W3214408503 hasConcept C111498074 @default.
- W3214408503 hasConcept C115903868 @default.
- W3214408503 hasConcept C116253237 @default.
- W3214408503 hasConcept C121332964 @default.
- W3214408503 hasConcept C145644426 @default.
- W3214408503 hasConcept C146939238 @default.
- W3214408503 hasConcept C168167062 @default.
- W3214408503 hasConcept C199360897 @default.
- W3214408503 hasConcept C2777904410 @default.
- W3214408503 hasConcept C41008148 @default.
- W3214408503 hasConcept C41298492 @default.
- W3214408503 hasConcept C55439883 @default.
- W3214408503 hasConcept C75606506 @default.
- W3214408503 hasConcept C97355855 @default.
- W3214408503 hasConceptScore W3214408503C111498074 @default.
- W3214408503 hasConceptScore W3214408503C115903868 @default.
- W3214408503 hasConceptScore W3214408503C116253237 @default.
- W3214408503 hasConceptScore W3214408503C121332964 @default.
- W3214408503 hasConceptScore W3214408503C145644426 @default.
- W3214408503 hasConceptScore W3214408503C146939238 @default.
- W3214408503 hasConceptScore W3214408503C168167062 @default.
- W3214408503 hasConceptScore W3214408503C199360897 @default.
- W3214408503 hasConceptScore W3214408503C2777904410 @default.
- W3214408503 hasConceptScore W3214408503C41008148 @default.
- W3214408503 hasConceptScore W3214408503C41298492 @default.
- W3214408503 hasConceptScore W3214408503C55439883 @default.
- W3214408503 hasConceptScore W3214408503C75606506 @default.
- W3214408503 hasConceptScore W3214408503C97355855 @default.
- W3214408503 hasLocation W32144085031 @default.
- W3214408503 hasLocation W32144085032 @default.
- W3214408503 hasLocation W32144085033 @default.
- W3214408503 hasOpenAccess W3214408503 @default.
- W3214408503 hasPrimaryLocation W32144085031 @default.
- W3214408503 hasRelatedWork W1495250406 @default.
- W3214408503 hasRelatedWork W1544097700 @default.
- W3214408503 hasRelatedWork W1608485412 @default.
- W3214408503 hasRelatedWork W17088386 @default.
- W3214408503 hasRelatedWork W1922520186 @default.
- W3214408503 hasRelatedWork W1946493810 @default.
- W3214408503 hasRelatedWork W2145025660 @default.
- W3214408503 hasRelatedWork W2171674700 @default.
- W3214408503 hasRelatedWork W4230811716 @default.
- W3214408503 hasRelatedWork W4241150048 @default.
- W3214408503 isParatext "false" @default.
- W3214408503 isRetracted "false" @default.
- W3214408503 magId "3214408503" @default.
- W3214408503 workType "book-chapter" @default.