iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/13/6708.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/dsn/BrancatiPSHGBE15 AU - Brancati, Francesco AU - Pataricza, András AU - Silva, Nuno AU - Hegedüs, Ábel AU - Gönczy, László AU - Bondavalli, Andrea AU - Esposito, Rosaria TI - Cost Prediction for V&V and Certification Processes. BT - IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015 SP - 57 EP - 62 PY - 2015// DO - 10.1109/DSN-W.2015.15 UR - https://doi.org/10.1109/DSN-W.2015.15 UR - https://doi.ieeecomputersociety.org/10.1109/DSN-W.2015.15 ER - TY - CPAPER ID - DBLP:conf/edcc/NicolaTEFMO05 AU - Nicola, Giuseppe De AU - Tommaso, Pasquale di AU - Esposito, Rosaria AU - Flammini, Francesco AU - Marmo, Pietro AU - Orazzo, Antonio TI - A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. BT - Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings SP - 305 EP - 317 PY - 2005// DO - 10.1007/11408901_23 UR - https://doi.org/10.1007/11408901_23 ER - TY - CPAPER ID - DBLP:conf/safecomp/NicolaTEFO04 AU - Nicola, Giuseppe De AU - Tommaso, Pasquale di AU - Esposito, Rosaria AU - Flammini, Francesco AU - Orazzo, Antonio TI - A Hybrid Testing Methodology for Railway Control Systems. BT - Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings SP - 116 EP - 129 PY - 2004// DO - 10.1007/978-3-540-30138-7_11 UR - https://doi.org/10.1007/978-3-540-30138-7_11 ER - TY - CPAPER ID - DBLP:conf/srds/TommasoEMO03 AU - Tommaso, Pasquale di AU - Esposito, Rosaria AU - Marmo, Pietro AU - Orazzo, Antonio TI - Hazard Analysis of Complex Distributed Railway Systems. BT - 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy SP - 283 EP - 292 PY - 2003// DO - 10.1109/RELDIS.2003.1238078 UR - https://doi.org/10.1109/RELDIS.2003.1238078 UR - https://doi.ieeecomputersociety.org/10.1109/RELDIS.2003.1238078 ER -