|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eckehard Schnieder, Géza Tarnai (eds.) |
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010  |
FORMS/FORMAT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karol Rástocný, Juraj Ilavský |
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Antoni |
Complementarity between Axle Counters and Tracks Circuits. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Hartig, Jens Gerlach, Juan Soto 0001, Jürgen Busse |
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonja-Lara Bepperling, Andreas Schöbel |
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle |
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kuckelberg, Ekkehard Wendler |
Modeling Computer based, microscopic Dispatching Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto |
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto |
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi |
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Milius |
Designing a semi-quantitative risk graph. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Rüdiger Hase |
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich |
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Detering, Lars Schnieder |
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Sülflow, Rolf Drechsler |
Automatic Fault Localization for Programmable Logic Controllers. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Antova, Dragan Jovicic, Thierry Breyne |
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann |
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Schweinsberg |
Achieving Europe-wide safety through technical harmonization. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | András Pataricza |
Towards Open Modular Critical Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Balázs Polgár, István Ráth, István Majzik |
Model-based Integration Framework for Development and Testing Tool-chains. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita Peltekova |
Safety and Security in Transportation Process - Not Just Technical Issue. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license