Matches in SemOpenAlex for { <https://semopenalex.org/work/W3146021497> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3146021497 endingPage "66" @default.
- W3146021497 startingPage "46" @default.
- W3146021497 abstract "This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the synthesized model in Real-Time Maude, have been integrated into Ptolemy II, enabling a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude." @default.
- W3146021497 created "2021-04-13" @default.
- W3146021497 creator A5078403066 @default.
- W3146021497 creator A5085748879 @default.
- W3146021497 date "2010-09-21" @default.
- W3146021497 modified "2023-09-30" @default.
- W3146021497 title "Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models" @default.
- W3146021497 cites W1496459140 @default.
- W3146021497 cites W1726956102 @default.
- W3146021497 cites W1959069981 @default.
- W3146021497 cites W1981830522 @default.
- W3146021497 cites W2006340882 @default.
- W3146021497 cites W2011886298 @default.
- W3146021497 cites W2019810307 @default.
- W3146021497 cites W2103684726 @default.
- W3146021497 cites W2113782004 @default.
- W3146021497 cites W2154412270 @default.
- W3146021497 cites W2156919819 @default.
- W3146021497 cites W2165550854 @default.
- W3146021497 cites W2169180789 @default.
- W3146021497 cites W69221180 @default.
- W3146021497 doi "https://doi.org/10.4204/eptcs.36.3" @default.
- W3146021497 hasPublicationYear "2010" @default.
- W3146021497 type Work @default.
- W3146021497 sameAs 3146021497 @default.
- W3146021497 citedByCount "7" @default.
- W3146021497 countsByYear W31460214972012 @default.
- W3146021497 countsByYear W31460214972014 @default.
- W3146021497 countsByYear W31460214972022 @default.
- W3146021497 crossrefType "journal-article" @default.
- W3146021497 hasAuthorship W3146021497A5078403066 @default.
- W3146021497 hasAuthorship W3146021497A5085748879 @default.
- W3146021497 hasBestOaLocation W31460214971 @default.
- W3146021497 hasConcept C110251889 @default.
- W3146021497 hasConcept C111498074 @default.
- W3146021497 hasConcept C154690210 @default.
- W3146021497 hasConcept C184337299 @default.
- W3146021497 hasConcept C199360897 @default.
- W3146021497 hasConcept C2524010 @default.
- W3146021497 hasConcept C33923547 @default.
- W3146021497 hasConcept C41008148 @default.
- W3146021497 hasConcept C46984397 @default.
- W3146021497 hasConceptScore W3146021497C110251889 @default.
- W3146021497 hasConceptScore W3146021497C111498074 @default.
- W3146021497 hasConceptScore W3146021497C154690210 @default.
- W3146021497 hasConceptScore W3146021497C184337299 @default.
- W3146021497 hasConceptScore W3146021497C199360897 @default.
- W3146021497 hasConceptScore W3146021497C2524010 @default.
- W3146021497 hasConceptScore W3146021497C33923547 @default.
- W3146021497 hasConceptScore W3146021497C41008148 @default.
- W3146021497 hasConceptScore W3146021497C46984397 @default.
- W3146021497 hasLocation W31460214971 @default.
- W3146021497 hasLocation W31460214972 @default.
- W3146021497 hasLocation W31460214973 @default.
- W3146021497 hasLocation W31460214974 @default.
- W3146021497 hasOpenAccess W3146021497 @default.
- W3146021497 hasPrimaryLocation W31460214971 @default.
- W3146021497 hasRelatedWork W1502311553 @default.
- W3146021497 hasRelatedWork W1587224678 @default.
- W3146021497 hasRelatedWork W1981466053 @default.
- W3146021497 hasRelatedWork W2045216220 @default.
- W3146021497 hasRelatedWork W2098851201 @default.
- W3146021497 hasRelatedWork W2106305471 @default.
- W3146021497 hasRelatedWork W3159756020 @default.
- W3146021497 hasRelatedWork W343537745 @default.
- W3146021497 hasRelatedWork W2585545025 @default.
- W3146021497 hasRelatedWork W2788308474 @default.
- W3146021497 hasVolume "36" @default.
- W3146021497 isParatext "false" @default.
- W3146021497 isRetracted "false" @default.
- W3146021497 magId "3146021497" @default.
- W3146021497 workType "article" @default.