ISBN: 9783540706533
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, … Mehr…
| Springer.com new in stock CH:::0.00 EUR. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540706533
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Special Purpose and Application-Based Systems;… Mehr…
| Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540706533
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, … Mehr…
| Springer.com Nr. 978-3-540-70653-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540706533
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Special Purpose and Application-Based Systems;… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540706533
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, … Mehr…
Bengt Jonsson; Joachim Parrow:
Formal Techniques in Real-Time and Fault-Tolerant Systems - neues BuchISBN: 9783540706533
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Special Purpose and Application-Based Systems;… Mehr…
ISBN: 9783540706533
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, … Mehr…
ISBN: 9783540706533
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Special Purpose and Application-Based Systems;… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Formal Techniques in Real-Time and Fault-Tolerant Systems
EAN (ISBN-13): 9783540706533
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2016-12-10T16:16:18+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-31T10:32:34+02:00 (Zurich)
ISBN/EAN: 9783540706533
ISBN - alternative Schreibweisen:
978-3-540-70653-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: real time systems
Daten vom Verlag:
Autor/in: Bengt Jonsson; Joachim Parrow
Titel: Lecture Notes in Computer Science; Formal Techniques in Real-Time and Fault-Tolerant Systems - 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Verlag: Springer; Springer Berlin
490 Seiten
Erscheinungsjahr: 2005-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 490 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Echtzeit-Systeme; Fault-Tolerant Systems; Fehlertoplerante Systeme; Formal Methods; Formale Methoden; Kernel; Real-Time Systems; Sicherheitsrelevanter Systementwurf; Software Architektur; System; Variable; automata; formal method; formal verification; verification; C; Theory of Computation; Compilers and Interpreters; Operating Systems; Computer Science Logic and Foundations of Programming; Special Purpose and Application-Based Systems; Processor Architectures; Computer Science; Compiler und Übersetzer; Betriebssysteme; Wissensbasierte Systeme, Expertensysteme; Rechnerarchitektur und Logik-Entwurf; BC
On the semantics of group communication.- Unifying verification paradigms.- Formal methods for early fault detection.- Retiming techniques for Statecharts.- Compiling Argos into Boolean equations.- Real-time mode-machines.- A calculus for timed automata.- Minimizable timed automata.- Weak chop inverses and liveness in Mean-Value Calculus.- Synthesizing controllers from Duration Calculus.- Sampling semantics of Duration Calculus.- The production cell: A verified real-time system.- Verification-driven development of a collision-avoidance protocol for the Ethernet.- Exhaustive computation of the scheduled task execution sequences of a real-time application.- Scheduling Data Flow programs in Hard Real-Time environments.- Dynamic scheduling in the presence of faults: Specification and verification.- Efficient broadcasting on faulty star networks.- Model checking for extended timed temporal logics.- Partial orders and verification of real-time systems.- Toward a modal theory of types for the ?-calculus.- Graphical formalization of real-time requirements.- On specifying real-time systems in a causality-based setting.- Verification of embedded systems using synchronous observers.- Compositionality in real-time shared variable concurrency.- Formal analysis of a real-time kernel specification.- Mona: Decidable arithmetic in practice.- Verifying synchronous reactive systems programmed in ESTEREL.- AutoFocus — A tool for distributed systems specification.- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis.- EVGC: A tool for visualizing LOTOS behavioural specifications.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781461532200 Formal Techniques in Real-Time and Fault-Tolerant Systems (S. Craig Pirrong)
- 9781461532200 Formal Techniques in Real-Time and Fault-Tolerant Systems (S. Craig Pirrong)
- 9781461364146 Formal Techniques in Real-Time and Fault-Tolerant Systems (Vytopil, Jan (Herausgeber))
- 9783540410553 Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings Mat (Mathai Joseph)
- 9780792393320 Formal Techniques in Real-Time and Fault-Tolerant Systems (The Springer International Series in Engineering and Computer Science, 221, Band 221) (Vytopil, Jan (Herausgeber))
- Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Lecture Notes in Computer Science, Band 1135) (Bengt Jonsson, Joachim Parrow)
< zum Archiv...