Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
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 September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also i...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1135 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal techniques in real-time and fault-tolerant systems, 4th international symposium, Uppsala, Sweden, September 9-13, 1996, proceedings, Bengt Jonsson, Joachim Parrow, eds, 1996, New York, Springer, 1 vol. (X-478 p.), Lecture notes in computer science, 3-540-61648-9 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662180211 |
| LEADER | 04955nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 944530 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155191241 | ||
| 020 | |a 9783540706533 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.33 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Symposium on Formal techniques in real-time and fault-tolerant systems |n (04 |d :1996 |c :Uppsala, Suède). | |
| 245 | 1 | 0 | |a Formal techniques in real-time and fault-tolerant systems : |b 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings |c [edited by] Bengt Jonsson, Joachim Parrow. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1135 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification. | ||
| 650 | |a Informatique | ||
| 650 | |a Temps réel (informatique) | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Tolérance aux fautes (informatique) | ||
| 650 | |a Calcul formel | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Ordinateurs |x Mémoires | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Jonsson, Bengt, |d 1957- |4 pbd | |
| 700 | 1 | |a Parrow, Joachim, |d 1956- |4 pbd | |
| 776 | 0 | |0 026025744 |t Formal techniques in real-time and fault-tolerant systems |o 4th international symposium, Uppsala, Sweden, September 9-13, 1996 |o proceedings |f Bengt Jonsson, Joachim Parrow, eds |d 1996 |c New York |n Springer |p 1 vol. (X-478 p.) |s Lecture notes in computer science |z 3-540-61648-9 | |
| 776 | 0 | |t Formal Techniques in Real-Time and Fault-Tolerant Systems |b Texte imprimé |z 9783662180211 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61648-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XQ7C19H4-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747918775 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61648-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750931361 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61648-9 |z Accès INSA CVL | |
| 997 | |0 944530 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||