Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048454509> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3048454509 endingPage "288" @default.
- W3048454509 startingPage "272" @default.
- W3048454509 abstract "In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each responsible for a part of the system. The contribution presented in this paper is an initial formal model of the FMI standard using the VDM Specification Language. Early results suggest that the FMI standard defines a number of FMU static constraints that are not enforced by many of the tools that are able to export such FMUs." @default.
- W3048454509 created "2020-08-18" @default.
- W3048454509 creator A5009539888 @default.
- W3048454509 creator A5037561273 @default.
- W3048454509 creator A5056873491 @default.
- W3048454509 creator A5064514971 @default.
- W3048454509 creator A5070333082 @default.
- W3048454509 date "2020-01-01" @default.
- W3048454509 modified "2023-10-14" @default.
- W3048454509 title "Towards a Static Check of FMUs in VDM-SL" @default.
- W3048454509 cites W2010169723 @default.
- W3048454509 cites W2041295515 @default.
- W3048454509 cites W2050856428 @default.
- W3048454509 cites W2080988723 @default.
- W3048454509 cites W2107857712 @default.
- W3048454509 cites W2422062091 @default.
- W3048454509 cites W2519179342 @default.
- W3048454509 cites W2528095371 @default.
- W3048454509 cites W2551998777 @default.
- W3048454509 cites W2804347281 @default.
- W3048454509 cites W2908386671 @default.
- W3048454509 cites W2909376493 @default.
- W3048454509 cites W2968232413 @default.
- W3048454509 cites W3086113963 @default.
- W3048454509 cites W3139500482 @default.
- W3048454509 cites W4232057538 @default.
- W3048454509 doi "https://doi.org/10.1007/978-3-030-54997-8_18" @default.
- W3048454509 hasPublicationYear "2020" @default.
- W3048454509 type Work @default.
- W3048454509 sameAs 3048454509 @default.
- W3048454509 citedByCount "1" @default.
- W3048454509 countsByYear W30484545092022 @default.
- W3048454509 crossrefType "book-chapter" @default.
- W3048454509 hasAuthorship W3048454509A5009539888 @default.
- W3048454509 hasAuthorship W3048454509A5037561273 @default.
- W3048454509 hasAuthorship W3048454509A5056873491 @default.
- W3048454509 hasAuthorship W3048454509A5064514971 @default.
- W3048454509 hasAuthorship W3048454509A5070333082 @default.
- W3048454509 hasBestOaLocation W30484545092 @default.
- W3048454509 hasConcept C111919701 @default.
- W3048454509 hasConcept C113843644 @default.
- W3048454509 hasConcept C129307140 @default.
- W3048454509 hasConcept C136197465 @default.
- W3048454509 hasConcept C149635348 @default.
- W3048454509 hasConcept C154945302 @default.
- W3048454509 hasConcept C157915830 @default.
- W3048454509 hasConcept C199360897 @default.
- W3048454509 hasConcept C41008148 @default.
- W3048454509 hasConceptScore W3048454509C111919701 @default.
- W3048454509 hasConceptScore W3048454509C113843644 @default.
- W3048454509 hasConceptScore W3048454509C129307140 @default.
- W3048454509 hasConceptScore W3048454509C136197465 @default.
- W3048454509 hasConceptScore W3048454509C149635348 @default.
- W3048454509 hasConceptScore W3048454509C154945302 @default.
- W3048454509 hasConceptScore W3048454509C157915830 @default.
- W3048454509 hasConceptScore W3048454509C199360897 @default.
- W3048454509 hasConceptScore W3048454509C41008148 @default.
- W3048454509 hasLocation W30484545091 @default.
- W3048454509 hasLocation W30484545092 @default.
- W3048454509 hasOpenAccess W3048454509 @default.
- W3048454509 hasPrimaryLocation W30484545091 @default.
- W3048454509 hasRelatedWork W1527862632 @default.
- W3048454509 hasRelatedWork W2112962394 @default.
- W3048454509 hasRelatedWork W2118300983 @default.
- W3048454509 hasRelatedWork W2135396778 @default.
- W3048454509 hasRelatedWork W2166247150 @default.
- W3048454509 hasRelatedWork W2347608685 @default.
- W3048454509 hasRelatedWork W2740990710 @default.
- W3048454509 hasRelatedWork W3137189469 @default.
- W3048454509 hasRelatedWork W4235530921 @default.
- W3048454509 hasRelatedWork W4243252198 @default.
- W3048454509 isParatext "false" @default.
- W3048454509 isRetracted "false" @default.
- W3048454509 magId "3048454509" @default.
- W3048454509 workType "book-chapter" @default.