Normal view MARC view ISBD view

Formal Methods for the Design of Real-Time Systems 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 / [electronic resource] : edited by Marco Bernardo, Flavio Corradini. - 1st ed. 2004. - VII, 297 p. online resource. - Lecture Notes in Computer Science, 3185 1611-3349 ; . - Lecture Notes in Computer Science, 3185 .

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.

ISBN: 9783540300809

Standard No.: 10.1007/b110123 doi

Subjects--Topical Terms:
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.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151