Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Rust, Heinrich (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering, 3456
Subjects:
Software engineering.
Computer science.
Compilers (Computer programs).
Operating systems (Computers).
Machine theory.
Software Engineering.
Theory of Computation.
Compilers and Interpreters.
Operating Systems.
Formal Languages and Automata Theory.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items