Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The DistributedReal-time Embedded Analysis Method (DREAM) is a platform-independentopen-source tool for the verification and analysis of distributedreal-time and embedded (DRE) systems which focuses on the practicalapplication of formal verification and timing analysis to real-timemiddleware. DREAM supports formal verification of scheduling based ontask timed automata using the Uppaal model checker and the Verimag IFtoolset as well as the random testing of real-time components using adiscrete event simulator. DREAM is developed at the Center for EmbeddedComputer Systems at the University of California, Irvine, in cooperationwith researchers from Vanderbilt University. N� de r�f. du vendeur 9786133292437

Contacter le vendeur

Acheter neuf

EUR 137,63

Exp�dition �EUR 35
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

DREAM (Software)

Lambert M. Surhone

Edit� par Omniscriptum M�r 2026, 2026

ISBN 10 : 6133292431 ISBN 13 : 9786133292437

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The DistributedReal-time Embedded Analysis Method (DREAM) is a platform-independentopen-source tool for the verification and analysis of distributedreal-time and embedded (DRE) systems which focuses on the practicalapplication of formal verification and timing analysis to real-timemiddleware. DREAM supports formal verification of scheduling based ontask timed automata using the Uppaal model checker and the Verimag IFtoolset as well as the random testing of real-time components using adiscrete event simulator. DREAM is developed at the Center for EmbeddedComputer Systems at the University of California, Irvine, in cooperationwith researchers from Vanderbilt University.VDM Verlag, Dudweiler Landstra�e 99, 66123 Saarbr�cken 100 pp. Englisch. N� de r�f. du vendeur 9786133292437

Contacter le vendeur

Acheter neuf

EUR 136

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � DREAM (Software): Platform-Independent, Formal Specification...

DREAM (Software): Platform-Independent, Formal Specification, Formal Semantics of Programming Languages - Couverture souple

R�sultats de recherche pour DREAM (Software): Platform-Independent, Formal Specification...

DREAM (Software)

Acheter neuf