Matches in DBpedia 2014 for { <http://dbpedia.org/resource/DREAM_(software)> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- DREAM_(software) abstract "The Distributed Real-time Embedded Analysis Method (DREAM) is a platform-independent open-source tool for the verification and analysis of distributed real-time and embedded (DRE) systems which focuses on the practical application of formal verification and timing analysis to real-time middleware. DREAM supports formal verification of scheduling based on task timed automata using the Uppaal model checker and the Verimag IF toolset as well as the random testing of real-time components using a discrete event simulator. DREAM is developed at the Center for Embedded Computer Systems at the University of California, Irvine, in cooperation with researchers from Vanderbilt University.".
- DREAM_(software) wikiPageExternalLink dre.sourceforge.net.
- DREAM_(software) wikiPageExternalLink IF.
- DREAM_(software) wikiPageExternalLink www.cecs.uci.edu.
- DREAM_(software) wikiPageExternalLink proveedor-hosting-peru.html.
- DREAM_(software) wikiPageExternalLink www.uppaal.com.
- DREAM_(software) wikiPageID "3344337".
- DREAM_(software) wikiPageRevisionID "551031335".
- DREAM_(software) hasPhotoCollection DREAM_(software).
- DREAM_(software) subject Category:Formal_methods.
- DREAM_(software) type Ability105616246.
- DREAM_(software) type Abstraction100002137.
- DREAM_(software) type Cognition100023271.
- DREAM_(software) type FormalMethods.
- DREAM_(software) type Know-how105616786.
- DREAM_(software) type Method105660268.
- DREAM_(software) type PsychologicalFeature100023100.
- DREAM_(software) comment "The Distributed Real-time Embedded Analysis Method (DREAM) is a platform-independent open-source tool for the verification and analysis of distributed real-time and embedded (DRE) systems which focuses on the practical application of formal verification and timing analysis to real-time middleware.".
- DREAM_(software) label "DREAM (software)".
- DREAM_(software) sameAs m.096wjf.
- DREAM_(software) sameAs Q5206044.
- DREAM_(software) sameAs Q5206044.
- DREAM_(software) sameAs DREAM_(software).
- DREAM_(software) wasDerivedFrom DREAM_(software)?oldid=551031335.
- DREAM_(software) isPrimaryTopicOf DREAM_(software).