Muutke küpsiste eelistusi

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers 2014 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 297 pages, kõrgus x laius: 235x155 mm, kaal: 4686 g, 91 Illustrations, black and white; X, 297 p. 91 illus., 1 Paperback / softback
  • Sari: Communications in Computer and Information Science 419
  • Ilmumisaeg: 22-Apr-2014
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319054155
  • ISBN-13: 9783319054155
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers 2014 ed.Suurem pilt
  • Formaat: Paperback / softback, 297 pages, kõrgus x laius: 235x155 mm, kaal: 4686 g, 91 Illustrations, black and white; X, 297 p. 91 illus., 1 Paperback / softback
  • Sari: Communications in Computer and Information Science 419
  • Ilmumisaeg: 22-Apr-2014
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319054155
  • ISBN-13: 9783319054155
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319054155.html
Märksõnad:
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
1(2)
Ian J. Hayes
With an Open Mind: How to Write Good Models
3(16)
Cyrille Artho
Koji Hayamizu
Rudolf Ramler
Yoriyuki Yamagata
Model-Based Testing from Controlled Natural Language Requirements
19(17)
Gustavo Carvalho
Flavia Barros
Florian Lapschies
Uwe Schulze
Jan Peleska
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol
36(18)
Xiaoyun Guo
Hsin-Hung Lin
Kenro Yatake
Toshiaki Aoki
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking
54(17)
Khaza Anuarul Hoque
Otmane Ait Mohamed
Yvon Savaria
Claude Thibeault
A Strand Space Approach to Provable Anonymity
71(17)
Yongjian Li
Jun Pang
Counterexample Generation for Hybrid Automata
88(19)
Johanna Nellen
Erika Abraham
Xin Chen
Pieter Collins
TTM/PAT: Specifying and Verifying Timed Transition Models
107(18)
Jonathan S. Ostroff
Chen-Wei Wang
Simon Hudon
Yang Liu
Jun Sun
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
125(17)
Linna Pang
Chen-Wei Wang
Mark Lawford
Alan Wassyng
Reflections on Verifying Software with Whiley
142(18)
David J. Pearce
Lindsay Groves
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events
160(18)
Colin Pilbrow
Robi Malik
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude
178(17)
Zeynab Sabahi-Kaviani
Ramtin Khosravi
Marjan Sirjani
Peter Csaba Olveczky
Ehsan Khamespanah
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings
195(17)
Andrew Simpson
Jaco Jacobs
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
212(17)
Youcheng Sun
Romain Soulat
Giuseppe Lipari
Etienne Andre
Laurent Fribourg
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
229(17)
Jagadish Suryadevara
Gaetana Sapienza
Cristina Seceleanu
Tiberiu Seceleanu
Stein-Erik Ellevseth
Paul Pettersson
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling
246(16)
Kriangkrai Traichaiyaporn
Toshiaki Aoki
Precise Documentation and Validation of Requirements
262(18)
Chen-Wei Wang
Jonathan S. Ostroff
Simon Hudon
Certainly Unsupervisable States
280(17)
Simon Ware
Robi Malik
Sahar Mohajerani
Martin Fabian
Author Index 297