Matches in SemOpenAlex for { <https://semopenalex.org/work/W2973553333> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2973553333 abstract "The usage of formal methods in Model Driven Engineering (MDE) has already been demonstrated with a significant boost in both productivity and quality in the design and analysis of software and systems. However, the integration of applicable tools and techniques for formal analysis needs improvement in order to create a practical MDE environment for FM, suitable for use in an industrial setting. This paper presents the European Space Agency (ESA) MORA-TSP (Multicore implementation of the On-Board Software Reference Architecture with Time and Space Partitioning capability) study. MORA-TSP comprises to develop a MDE toolset suitable to apply FM for early analysis, correctness and validation of the modeled software, in the context of space flight software." @default.
- W2973553333 created "2019-09-26" @default.
- W2973553333 creator A5010336537 @default.
- W2973553333 creator A5046160182 @default.
- W2973553333 creator A5054879382 @default.
- W2973553333 creator A5086009249 @default.
- W2973553333 date "2019-01-01" @default.
- W2973553333 modified "2023-09-27" @default.
- W2973553333 title "Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP" @default.
- W2973553333 cites W1825327831 @default.
- W2973553333 cites W1953227509 @default.
- W2973553333 cites W1987023830 @default.
- W2973553333 cites W2043158263 @default.
- W2973553333 cites W2129570977 @default.
- W2973553333 cites W2171223221 @default.
- W2973553333 cites W2400273477 @default.
- W2973553333 cites W2928260158 @default.
- W2973553333 cites W4214706592 @default.
- W2973553333 cites W4300474973 @default.
- W2973553333 doi "https://doi.org/10.1007/978-3-030-30942-8_42" @default.
- W2973553333 hasPublicationYear "2019" @default.
- W2973553333 type Work @default.
- W2973553333 sameAs 2973553333 @default.
- W2973553333 citedByCount "0" @default.
- W2973553333 crossrefType "book-chapter" @default.
- W2973553333 hasAuthorship W2973553333A5010336537 @default.
- W2973553333 hasAuthorship W2973553333A5046160182 @default.
- W2973553333 hasAuthorship W2973553333A5054879382 @default.
- W2973553333 hasAuthorship W2973553333A5086009249 @default.
- W2973553333 hasConcept C110251889 @default.
- W2973553333 hasConcept C115903868 @default.
- W2973553333 hasConcept C116253237 @default.
- W2973553333 hasConcept C127413603 @default.
- W2973553333 hasConcept C151730666 @default.
- W2973553333 hasConcept C199360897 @default.
- W2973553333 hasConcept C201995342 @default.
- W2973553333 hasConcept C2777904410 @default.
- W2973553333 hasConcept C2779343474 @default.
- W2973553333 hasConcept C35869016 @default.
- W2973553333 hasConcept C41008148 @default.
- W2973553333 hasConcept C55439883 @default.
- W2973553333 hasConcept C75606506 @default.
- W2973553333 hasConcept C86803240 @default.
- W2973553333 hasConceptScore W2973553333C110251889 @default.
- W2973553333 hasConceptScore W2973553333C115903868 @default.
- W2973553333 hasConceptScore W2973553333C116253237 @default.
- W2973553333 hasConceptScore W2973553333C127413603 @default.
- W2973553333 hasConceptScore W2973553333C151730666 @default.
- W2973553333 hasConceptScore W2973553333C199360897 @default.
- W2973553333 hasConceptScore W2973553333C201995342 @default.
- W2973553333 hasConceptScore W2973553333C2777904410 @default.
- W2973553333 hasConceptScore W2973553333C2779343474 @default.
- W2973553333 hasConceptScore W2973553333C35869016 @default.
- W2973553333 hasConceptScore W2973553333C41008148 @default.
- W2973553333 hasConceptScore W2973553333C55439883 @default.
- W2973553333 hasConceptScore W2973553333C75606506 @default.
- W2973553333 hasConceptScore W2973553333C86803240 @default.
- W2973553333 hasLocation W29735533331 @default.
- W2973553333 hasOpenAccess W2973553333 @default.
- W2973553333 hasPrimaryLocation W29735533331 @default.
- W2973553333 hasRelatedWork W135423041 @default.
- W2973553333 hasRelatedWork W1487536269 @default.
- W2973553333 hasRelatedWork W1548302252 @default.
- W2973553333 hasRelatedWork W1554426109 @default.
- W2973553333 hasRelatedWork W1570024512 @default.
- W2973553333 hasRelatedWork W1570993651 @default.
- W2973553333 hasRelatedWork W1581526118 @default.
- W2973553333 hasRelatedWork W1597597039 @default.
- W2973553333 hasRelatedWork W1946904169 @default.
- W2973553333 hasRelatedWork W1991870038 @default.
- W2973553333 hasRelatedWork W2033050790 @default.
- W2973553333 hasRelatedWork W2062785712 @default.
- W2973553333 hasRelatedWork W2089204618 @default.
- W2973553333 hasRelatedWork W2147330472 @default.
- W2973553333 hasRelatedWork W2171025871 @default.
- W2973553333 hasRelatedWork W2258263318 @default.
- W2973553333 hasRelatedWork W2464391668 @default.
- W2973553333 hasRelatedWork W2937127995 @default.
- W2973553333 hasRelatedWork W301144566 @default.
- W2973553333 hasRelatedWork W57597413 @default.
- W2973553333 isParatext "false" @default.
- W2973553333 isRetracted "false" @default.
- W2973553333 magId "2973553333" @default.
- W2973553333 workType "book-chapter" @default.