LIBROS DEL AUTOR: heinrich rust

2 resultados para LIBROS DEL AUTOR: heinrich rust

heinrich rust Eliminar filtro Quitar filtros
  • Zuverlässigkeit und Verantwortung
    Heinrich Rust
    Die aktuelle Frage nach der Zuverlässigkeit von programmgestützten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie bsw. der Notfallmedizin oder dem Betrieb von Kraftwerken, möglichst präzise Anworten. In diesem Buch wird das Spektrum der Verfahren untersucht, die in der Informatik für diesen Zweck entwickelt und vorgeschlagen wer...
    Disponible

    97,25 €

  • Operational Semantics for Timed Systems
    Heinrich Rust
    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 express synchronicity of events in a real-number time...
    Disponible

    66,53 €