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

• Κύριος συγγραφέας: Rust, Heinrich (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
• Σειρά: Lecture Notes in Computer Science, 3456
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computers.; Mathematical logic.; Computer Science.; Software Engineering.; Computation by Abstract Devices.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Mathematical Logic and Formal Languages.

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...