Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/forms/forms2010.bht:"
download as .bib file
@proceedings{DBLP:conf/forms/2010,
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {{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},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14261-1},
doi = {10.1007/978-3-642-14261-1},
isbn = {978-3-642-14260-4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Antoni10,
author = {Marc Antoni},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Complementarity between Axle Counters and Tracks Circuits},
booktitle = {{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},
pages = {65--76},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_7},
doi = {10.1007/978-3-642-14261-1\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Antoni10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/AntovaJB10,
author = {Maria Antova and
Dragan Jovicic and
Thierry Breyne},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Dissemination of the Commission Regulation {(EC)} No 352/2009/EC on
Common Safety Method on Risk Evaluation and Assessment},
booktitle = {{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},
pages = {167--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_17},
doi = {10.1007/978-3-642-14261-1\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/AntovaJB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/BepperlingS10,
author = {Sonja{-}Lara Bepperling and
Andreas Sch{\"{o}}bel},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Estimation of Safety Requirements for Wayside Hot Box Detection Systems},
booktitle = {{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},
pages = {135--143},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_14},
doi = {10.1007/978-3-642-14261-1\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/BepperlingS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/BiallasBKS10,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski and
Bastian Schlich},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Automatically Deriving Symbolic Invariants for {PLC} Programs Written
in {IL}},
booktitle = {{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},
pages = {237--245},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_24},
doi = {10.1007/978-3-642-14261-1\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/BiallasBKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Braband10,
author = {Jens Braband},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {On the Justification of a Risk Matrix for Technical Systems in European
Railways},
booktitle = {{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},
pages = {185--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_19},
doi = {10.1007/978-3-642-14261-1\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Braband10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/ClarhautLE10,
author = {Joffrey Clarhaut and
Etienne Lemaire and
El{-}Miloudi El{-}Koursi},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Methodology for Assessing Safety Systems Application for a Railway
Hot Box Protection System},
booktitle = {{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},
pages = {125--133},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_13},
doi = {10.1007/978-3-642-14261-1\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/ClarhautLE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/DeteringS10,
author = {Stefan Detering and
Lars Schnieder},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Calibration and Validation of Simulation Models for Investigation
of Traffic Assistance Systems},
booktitle = {{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},
pages = {217--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_22},
doi = {10.1007/978-3-642-14261-1\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/DeteringS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/FerrariMGF10,
author = {Alessio Ferrari and
Gianluca Magnani and
Daniele Grasso and
Alessandro Fantechi},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Model Checking Interlocking Control Tables},
booktitle = {{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},
pages = {107--115},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_11},
doi = {10.1007/978-3-642-14261-1\_11},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/FerrariMGF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/FranzleGHPS10,
author = {Martin Fr{\"{a}}nzle and
Tayfun Gezgin and
Hardi Hungar and
Stefan Puch and
Gerald Sauter},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Using Guided Simulation to Assess Driver Assistance Systems},
booktitle = {{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},
pages = {195--205},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_20},
doi = {10.1007/978-3-642-14261-1\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/FranzleGHPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/GacnikJKF10,
author = {Jan Gacnik and
Henning Jost and
Frank K{\"{o}}ster and
Martin Fr{\"{a}}nzle},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning
to Safety Domain Knowledge},
booktitle = {{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},
pages = {207--215},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_21},
doi = {10.1007/978-3-642-14261-1\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/GacnikJKF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/HartigGSB10,
author = {Kerstin Hartig and
Jens Gerlach and
Juan Soto and
J{\"{u}}rgen Busse},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Formal Specification and Automated Verification of Safety-Critical
Requirements of a Railway Vehicle with Frama-C/Jessie},
booktitle = {{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},
pages = {145--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_15},
doi = {10.1007/978-3-642-14261-1\_15},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forms/HartigGSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Hase10,
author = {Klaus{-}R{\"{u}}diger Hase},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {"Open Proof" for Railway Safety Software - {A} Potential Way-Out of
Vendor Lock-in Advancing to Standardization, Transparency, and Software
Security},
booktitle = {{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},
pages = {5--38},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_2},
doi = {10.1007/978-3-642-14261-1\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Hase10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/HiraguriIW10,
author = {Shigeto Hiraguri and
Koji Iwata and
Ikuo Watanabe},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {A Method of Evaluating Railway Signalling System Based on {RAMS} Concept},
booktitle = {{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},
pages = {97--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_10},
doi = {10.1007/978-3-642-14261-1\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/HiraguriIW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/KuckelbergW10,
author = {Alexander Kuckelberg and
Ekkehard Wendler},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Modeling Computer based, microscopic Dispatching Systems},
booktitle = {{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},
pages = {87--95},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_9},
doi = {10.1007/978-3-642-14261-1\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/KuckelbergW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/KunifujiSMM10,
author = {Takashi Kunifuji and
Yoshinori Saiki and
Satoru Masutani and
Masayuki Matsumoto},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Reliability of the {IP} Network-based Signal Control System and the
Integrated Logical Controller},
booktitle = {{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},
pages = {117--124},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_12},
doi = {10.1007/978-3-642-14261-1\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/KunifujiSMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/LeskaPRA10,
author = {Maik Leska and
Robert Prabel and
Andreas Rauh and
Harald Aschemann},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Simulation and Optimization of the Longitudinal Dynamics of Parallel
Hybrid Railway Vehicles},
booktitle = {{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},
pages = {155--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_16},
doi = {10.1007/978-3-642-14261-1\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/LeskaPRA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Milius10,
author = {Birgit Milius},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Designing a semi-quantitative risk graph},
booktitle = {{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},
pages = {175--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_18},
doi = {10.1007/978-3-642-14261-1\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Milius10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Pataricza10,
author = {Andr{\'{a}}s Pataricza},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Towards Open Modular Critical Systems},
booktitle = {{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},
pages = {41--42},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_4},
doi = {10.1007/978-3-642-14261-1\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Pataricza10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Peltekova10,
author = {Margarita Peltekova},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Safety and Security in Transportation Process - Not Just Technical
Issue},
booktitle = {{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},
pages = {45--53},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_5},
doi = {10.1007/978-3-642-14261-1\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Peltekova10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/PolgarRM10,
author = {Bal{\'{a}}zs Polg{\'{a}}r and
Istv{\'{a}}n R{\'{a}}th and
Istv{\'{a}}n Majzik},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Model-based Integration Framework for Development and Testing Tool-chains},
booktitle = {{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},
pages = {227--235},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_23},
doi = {10.1007/978-3-642-14261-1\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/PolgarRM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/RastocnyI10,
author = {Karol R{\'{a}}stocn{\'{y}} and
Juraj Ilavsk{\'{y}}},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Effects of a Periodic Maintenance on the Safety Integrity Level of
a Control System},
booktitle = {{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},
pages = {77--85},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_8},
doi = {10.1007/978-3-642-14261-1\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/RastocnyI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Schweinsberg10,
author = {Ralf Schweinsberg},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Achieving Europe-wide safety through technical harmonization},
booktitle = {{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},
pages = {3--4},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_1},
doi = {10.1007/978-3-642-14261-1\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Schweinsberg10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/SulflowD10,
author = {Andr{\'{e}} S{\"{u}}lflow and
Rolf Drechsler},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Automatic Fault Localization for Programmable Logic Controllers},
booktitle = {{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},
pages = {247--256},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_25},
doi = {10.1007/978-3-642-14261-1\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/SulflowD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/Tang10,
author = {Tao Tang},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Formal Method and its Application on Train Operation Control System
of Chinese high-speed Railway},
booktitle = {{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},
pages = {39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_3},
doi = {10.1007/978-3-642-14261-1\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/Tang10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/YasuokaWHM10,
author = {Kazue Yasuoka and
Atsushi Watabe and
Tetsunori Hattori and
Masayuki Matsumoto},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {The Policy of applying {RAMS} to evaluate Railway Signalling Systems
for reliable Transportation},
booktitle = {{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},
pages = {55--63},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_6},
doi = {10.1007/978-3-642-14261-1\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/YasuokaWHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-26 01:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
