Recomienda este artículo a tus amigos:
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science Heinrich Rust 2005 edition
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Lecture Notes in Computer Science
Heinrich Rust
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 express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps.
224 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 4 de abril de 2005 |
| ISBN13 | 9783540255765 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 224 |
| Dimensiones | 155 × 235 × 12 mm · 367 g |
| Lengua | Inglés |
Mas por Heinrich Rust
Mostrar todoMere med samme udgiver
Ver todo de Heinrich Rust ( Ej. Paperback Book )