![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd FTSCS 2013: Queenstown, New Zealand
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers. Communications in Computer and Information Science 419, Springer 2014, ISBN 978-3-319-05415-5 - Ian J. Hayes
:
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions. 1-2 - Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
:
With an Open Mind: How to Write Good Models. 3-18 - Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska:
Model-Based Testing from Controlled Natural Language Requirements. 19-35 - Xiaoyun Guo
, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
:
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. 36-53 - Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault:
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. 54-70 - Yongjian Li, Jun Pang:
A Strand Space Approach to Provable Anonymity. 71-87 - Johanna Nellen, Erika Ábrahám
, Xin Chen, Pieter Collins:
Counterexample Generation for Hybrid Automata. 88-106 - Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu
, Jun Sun
:
TTM/PAT: Specifying and Verifying Timed Transition Models. 107-124 - Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng:
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. 125-141 - David J. Pearce, Lindsay Groves:
Reflections on Verifying Software with Whiley. 142-159 - Colin Pilbrow
, Robi Malik:
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. 160-177 - Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah:
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. 178-194 - Andrew Simpson
, Jaco Jacobs:
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings. 195-211 - Youcheng Sun
, Romain Soulat, Giuseppe Lipari, Étienne André
, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. 212-228 - Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu
, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. 229-245 - Kriangkrai Traichaiyaporn, Toshiaki Aoki
:
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. 246-261 - Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon:
Precise Documentation and Validation of Requirements. 262-279 - Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
:
Certainly Unsupervisable States. 280-296
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.