Matches in SemOpenAlex for { <https://semopenalex.org/work/W2086420684> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2086420684 abstract "Control theory researchers have been using DEVS models to formalize discrete event systems for a long time. Despite such systems are one of the main targets of Software Engineers, the DEVS formalism lacks tools offering more credibility in DEVS models by enabling formal verification. This paper provides a way to exploit formal methods tools in doing such a job at reasonable cost. Our approach aims to transform automatically a DEVS model into a Z specification, a widely known specification language used by the formal methods researchers and practitioners, so Z proofs can be performed on the resulting specification." @default.
- W2086420684 created "2016-06-24" @default.
- W2086420684 creator A5032325980 @default.
- W2086420684 creator A5044649973 @default.
- W2086420684 creator A5065636755 @default.
- W2086420684 date "2009-03-01" @default.
- W2086420684 modified "2023-10-14" @default.
- W2086420684 title "Practical Application of lightweight Z in DEVS Framework" @default.
- W2086420684 cites W1530797069 @default.
- W2086420684 cites W1649157701 @default.
- W2086420684 cites W1930200668 @default.
- W2086420684 cites W2036378865 @default.
- W2086420684 cites W2545523121 @default.
- W2086420684 cites W87301919 @default.
- W2086420684 hasPublicationYear "2009" @default.
- W2086420684 type Work @default.
- W2086420684 sameAs 2086420684 @default.
- W2086420684 citedByCount "4" @default.
- W2086420684 countsByYear W20864206842012 @default.
- W2086420684 countsByYear W20864206842016 @default.
- W2086420684 crossrefType "proceedings-article" @default.
- W2086420684 hasAuthorship W2086420684A5032325980 @default.
- W2086420684 hasAuthorship W2086420684A5044649973 @default.
- W2086420684 hasAuthorship W2086420684A5065636755 @default.
- W2086420684 hasConcept C115903868 @default.
- W2086420684 hasConcept C167343916 @default.
- W2086420684 hasConcept C41008148 @default.
- W2086420684 hasConcept C44154836 @default.
- W2086420684 hasConcept C68757728 @default.
- W2086420684 hasConceptScore W2086420684C115903868 @default.
- W2086420684 hasConceptScore W2086420684C167343916 @default.
- W2086420684 hasConceptScore W2086420684C41008148 @default.
- W2086420684 hasConceptScore W2086420684C44154836 @default.
- W2086420684 hasConceptScore W2086420684C68757728 @default.
- W2086420684 hasLocation W20864206841 @default.
- W2086420684 hasOpenAccess W2086420684 @default.
- W2086420684 hasPrimaryLocation W20864206841 @default.
- W2086420684 hasRelatedWork W2074765100 @default.
- W2086420684 hasRelatedWork W2104185553 @default.
- W2086420684 hasRelatedWork W2114543594 @default.
- W2086420684 hasRelatedWork W2143537423 @default.
- W2086420684 hasRelatedWork W2293708090 @default.
- W2086420684 hasRelatedWork W2295011979 @default.
- W2086420684 hasRelatedWork W2338700700 @default.
- W2086420684 hasRelatedWork W2748952813 @default.
- W2086420684 hasRelatedWork W2899084033 @default.
- W2086420684 hasRelatedWork W4248448529 @default.
- W2086420684 isParatext "false" @default.
- W2086420684 isRetracted "false" @default.
- W2086420684 magId "2086420684" @default.
- W2086420684 workType "article" @default.