Muutke küpsiste eelistusi

E-raamat: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected PapersSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833190541622e.html
Märksõnad: