11 hasil untuk "Merz, Stephan"
Menampilkan 1–11 · 0,48 detik · RSS
-
Artikel Jurnal Teks lengkap
Evaluative audiometry after cochlear implant provision
BACKGROUND: One of the main treatment goals in cochlear implant (CI) patients is to improve speech perception. One of the target parameters is speech intelligibility in quiet. However, treatment results show a high variability, which has not been sufficiently explained so far. The aim of this…
-
Artikel Jurnal Teks lengkap
Zur evaluierenden Audiometrie nach Cochlea-Implantat-Versorgung
BACKGROUND: One of the main treatment goals in cochlear implant (CI) patients is to improve speech perception. One of the target parameters is speech intelligibility in quiet. However, treatment results show a high variability, which has not been sufficiently explained so far. The aim of this…
-
Buku Teks lengkap
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications…
-
Buku Teks lengkap
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)
This volume contains the proceedings of the Sixth International Workshop on Automated Verification of Critical Systems (AVoCS 2006), which was held on September 18–19, 2006 in Nancy, France. The workshop is devoted to techniques and tools for the verification of critical systems, and applications…
-
Buku Teks lengkap
Modeling and Verification of Real-Time Systems - Formalisms and Software Tools
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and…
-
Buku Teks lengkap
Science of Computer Programming Special Issue: Automated Verification of Critical Systems
International audience
-
Buku Teks lengkap
Integrated Formal Methods
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku…
-
Buku Teks lengkap
Interactive Theorem Proving: 7th International Conference, ITP 2016
International audience
-
Buku Teks lengkap
Formal Verification of Distributed Algorithms
The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together researchers from the areas of distributed algorithms, model checking, and semi-automated proofs with the goal to establish a common base for approaching the many open problems in verification of distributed…