Image from Amazon.com
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures / edited by Marco Bernardo, Flavio Corradini.
Material type:
TextSeries: Lecture Notes in Computer Science ; 3185Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Description: VII, 297 p. online resourceContent type: - text
- computer
- online resource
- 9783540300809
- 005.1 23
- QA76.758
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK3330 |
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.
There are no comments on this title.
Log in to your account to post a comment.