Formal Methods for the Design of Real-Time Systems

Editat de Marco Bernardo, Flavio Corradini

en Limba Engleză Paperback – sep 2004

Preț: 321^.60 lei

Preț vechi: 402^.00 lei
-20% Nou

Puncte Express: 482

:
56^.91€ • 66^.37$ • 49^.97£

Carte tipărită la comandă

Livrare economică 16-30 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540230687
ISBN-10: 3540230688
Pagini: 308
Ilustrații: VII, 297 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).- Expressiveness of Timed Events and Timed Languages.- Real Time and Stochastic Time.- On the Semantic Foundations of Standard UML 2.0.- Tools and Applications.- A Tutorial on Uppaal.- The IF Toolset.- Embedded Software Analysis with MOTOR.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste