Atjaunināt sīkdatņu piekrišanu

E-grāmata: 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
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected PapersPalielināt
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

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
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97833190541622e.html
Keywords: