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, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
Material type:
TextSeries: Lecture Notes in Computer Science ; 3185Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Edition: 1st ed. 2004Description: VII, 297 p. online resourceContent type: - text
- computer
- online resource
- 9783540300809
- Computer science
- Software engineering
- Compilers (Computer programs)
- Computers, Special purpose
- Computer networks
- Theory of Computation
- Software Engineering
- Compilers and Interpreters
- Computer Science Logic and Foundations of Programming
- Special Purpose and Application-Based Systems
- Computer Communication Networks
- 004.0151 23
- QA75.5-76.95
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.