Matches in SemOpenAlex for { <https://semopenalex.org/work/W2121036250> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2121036250 abstract "Engineers need to perform many different types of analyses as they design systems. Modelica has become a leading language to support numerical simulation. As a consequence there is widespread understanding of Modelica and a large number of Modelica model libraries available. This paper addresses the task of using formal methods to derive system properties such as whether a design meets its requirements for all possible inputs. We report on our experience building a qualitative reasoner operating on Modelica models. In this paper, we highlight five Modelica modeling practices that impede the application of formal methods." @default.
- W2121036250 created "2016-06-24" @default.
- W2121036250 creator A5046977124 @default.
- W2121036250 creator A5047470183 @default.
- W2121036250 creator A5051959560 @default.
- W2121036250 creator A5080030080 @default.
- W2121036250 date "2014-03-10" @default.
- W2121036250 modified "2023-10-17" @default.
- W2121036250 title "Making Modelica Applicable for Formal Methods" @default.
- W2121036250 cites W1517125074 @default.
- W2121036250 cites W2141771790 @default.
- W2121036250 cites W2164665836 @default.
- W2121036250 doi "https://doi.org/10.3384/ecp14096205" @default.
- W2121036250 hasPublicationYear "2014" @default.
- W2121036250 type Work @default.
- W2121036250 sameAs 2121036250 @default.
- W2121036250 citedByCount "2" @default.
- W2121036250 countsByYear W21210362502014 @default.
- W2121036250 crossrefType "proceedings-article" @default.
- W2121036250 hasAuthorship W2121036250A5046977124 @default.
- W2121036250 hasAuthorship W2121036250A5047470183 @default.
- W2121036250 hasAuthorship W2121036250A5051959560 @default.
- W2121036250 hasAuthorship W2121036250A5080030080 @default.
- W2121036250 hasBestOaLocation W21210362501 @default.
- W2121036250 hasConcept C111498074 @default.
- W2121036250 hasConcept C115903868 @default.
- W2121036250 hasConcept C199360897 @default.
- W2121036250 hasConcept C37785467 @default.
- W2121036250 hasConcept C41008148 @default.
- W2121036250 hasConcept C75606506 @default.
- W2121036250 hasConceptScore W2121036250C111498074 @default.
- W2121036250 hasConceptScore W2121036250C115903868 @default.
- W2121036250 hasConceptScore W2121036250C199360897 @default.
- W2121036250 hasConceptScore W2121036250C37785467 @default.
- W2121036250 hasConceptScore W2121036250C41008148 @default.
- W2121036250 hasConceptScore W2121036250C75606506 @default.
- W2121036250 hasLocation W21210362501 @default.
- W2121036250 hasOpenAccess W2121036250 @default.
- W2121036250 hasPrimaryLocation W21210362501 @default.
- W2121036250 hasRelatedWork W1524361563 @default.
- W2121036250 hasRelatedWork W1536552036 @default.
- W2121036250 hasRelatedWork W1583364777 @default.
- W2121036250 hasRelatedWork W2120119341 @default.
- W2121036250 hasRelatedWork W2151898527 @default.
- W2121036250 hasRelatedWork W27605384 @default.
- W2121036250 hasRelatedWork W2899100898 @default.
- W2121036250 hasRelatedWork W47563837 @default.
- W2121036250 hasRelatedWork W63592217 @default.
- W2121036250 hasRelatedWork W1894736207 @default.
- W2121036250 isParatext "false" @default.
- W2121036250 isRetracted "false" @default.
- W2121036250 magId "2121036250" @default.
- W2121036250 workType "article" @default.