Sökt på: Böcker av Ernst-Rudiger Olderog
totalt 15 träffar
Real-Time Systems
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many …
Model Checking, Synthesis, and Learning
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major …
Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function …
Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded …
Model Checking, Synthesis, and Learning
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major …
Correct System Design
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as …
Formal Techniques in Real-Time and Fault-Tolerant Systems
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, …
Verification of Sequential and Concurrent Programs
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount …
Real-Time Systems
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many …
Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded …
Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function …