Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the b...
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
1486 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
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, 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998, proceedings, Anders P. Ravn, Hans Rischel (eds.), 1998, Berlin, Springer, 1 vol. (VIII-338 p.), Lecture notes in computer science, 3-540-65003-2 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662206171 |
| LEADER | 05076nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944966 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155209019 | ||
| 020 | |a 9783540497929 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.33 | ||
| 111 | 2 | |a Conference on Formal Techniques in Real-Time and Fault Tolerant Systems |n (05 |d :1998 |c :Lyngby, Danemark). | |
| 245 | 1 | 0 | |a Formal techniques in real-time and fault-tolerant systems : |b 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings |c [edited by] Anders P. Ravn, Hans Rischel. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1486 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Challenges in the utilization of formal methods -- On the need for practical formal methods -- A general framework for the composition of timed systems -- Operational and logical semantics for polling real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration Calculus of Weakly Monotonic Time -- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern -- A modular visual model for hybrid systems -- Integrating real-time structured design and formal techniques -- Duration Calculus in the specification of safety requirements -- Automated stream-based analysis of fault-tolerance -- Designing a provably correct robt control system using a lean formal method -- Static analysis to identify invariants in RSML specifications -- Partition refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked transition systems -- Some decidability results for duration calculus under synchronous interpretation -- Fair synchronous transition systems and their liveness proofs -- Dynamical properties of timed automata -- An algorithm for the approximative analysis of rectangular automata -- On checking parallel real-time systems for linear duration properties -- A practical and complete algorithm for testing real-time systems -- Mechanical verification of clock synchronization algorithms -- Compiling graphical real-time specifications into silicon -- Towards a formal semantics of verilog using duration calculus -- The ICOS synthesis environment -- Kronos: A model-checking tool for real-time systems -- SGLOT: A visual tool for structural LOTOS specifications -- Discrete-time Promela and Spin -- Moby/PLC Graphical development of PLC-automata -- Predictability in critical systems. | |
| 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 book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. | ||
| 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 Microprocesseurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ravn, Anders P., |d 1947-2019. |4 pbd | |
| 700 | 1 | |a Rischel, Hans, |d 1938- |4 pbd | |
| 776 | 0 | |0 035995440 |t Formal techniques in real-time and fault-tolerant systems |o 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 |o proceedings |f Anders P. Ravn, Hans Rischel (eds.) |d 1998 |c Berlin |n Springer |p 1 vol. (VIII-338 p.) |s Lecture notes in computer science |z 3-540-65003-2 | |
| 776 | 0 | |t Formal Techniques in Real-Time and Fault-Tolerant Systems |b Texte imprimé |z 9783662206171 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0055330 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7279MFK8-Q |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747892237 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0055330 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750905344 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0055330 |z Accès INSA CVL | |
| 997 | |0 944966 |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/ | ||