Informatik (15 757 Artikel)

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system des...

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (...

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in Septemb...

Invited Papers.- From Software to Hardware and Back.- Of Elections and Electrons.- Regular Papers.- Formal Verification of an Avionics Sensor Voter Using SCADE.- Mixed Delay and Threshold Voters in...

It is commonly assumed that computers process information. But what is inf- mation? In a technical, important, but nevertheless rather narrow sense, Sh- non'sinformationtheorygivesa?rstanswertothis...

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Se...

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Se...

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in Oct...

This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics...

The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, p...

Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der Daten...

Das Buch soll den Leser, der an Formaler Begriffsanalyse als Methode der Datenanalyse und Wissenstrukturierung interessiert ist, in die Lage versetzen, eigene C++-Programme zur Formalen Begriffsana...

Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM -- korrekter Entwurf von Kommunkationssoftware.- LOT...

1 Einleitung.- 2 Grundlagen aus Mathematik und Logik.- 2.1 Schreibweisen der Logik.- 2.2 Prädikatenlogik.- 2.3 Relationen.- 3 Formale Sprachen.- 3.1 Syntax und Semantik: Populäre Beispiele.- 3.2 Gr...

Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zw...