Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/forms/forms2010.bht:"
@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} }
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.