http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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
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.
edited by Marco Bernardo, Flavio Corradini.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems