Correct System Design Recent Insights and Advances /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Olderog, Ernst-Rüdiger (Editor, http://id.loc.gov/vocabulary/relators/edt), Steffen, Bernhard (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Computer Science, 1710
• Subjects: Computers.; Computer logic.; Programming languages (Electronic computers).; Special purpose computers.; Mathematical logic.; Artificial intelligence.; Theory of Computation.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.; Mathematical Logic and Formal Languages.; Artificial Intelligence.

Computers are gaining more and more controle over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably...