Search results for "Dependability evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Boudewijn R. Haverkort	Performance and Dependability Evaluation: Successes, Failures and Challenges.	EPEW	2008	DBLP DOI BibTeX RDF	security, performance evaluation, model checking, verification, scalability, Markov chains, Dependability evaluation
3	Marco Vieira, Henrique Madeira	Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?	LADC	2007	DBLP DOI BibTeX RDF	Experimental dependability evaluation, OLAP, data warehousing
3	Yonggang Pang, Huiqiang Wang, Ye Du	Experiment of Event Injection Technology for Network Dependability Evaluation.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	event injection, Loadrunner, DDoS, dependability evaluation
3	Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini	Dependability Evaluation: Model and Method Based on Activity Theory.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Human Reliability Analysis, Activity Theory, Distributed Cognition, Dependability Evaluation
3	Ann T. Tai, Kishor S. Trivedi, Herbert Hecht	On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF	Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE
2	Salvatore Distefano, Antonio Puliafito	Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees.	IEEE Trans. Dependable Sec. Comput.	2009	DBLP DOI BibTeX RDF
2	Radek Dobias, Jan Konarski, Hana Kubatova	Dependability Evaluation of Real Railway Interlocking Device.	DSD	2008	DBLP DOI BibTeX RDF
2	Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga	Architectural dependability evaluation with Arcade.	DSN	2008	DBLP DOI BibTeX RDF
2	Bogdan Tomoyuki Nassu, Kiyonobu Uehara, Takashi Nanya	Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation.	EDCC	2008	DBLP DOI BibTeX RDF
2	Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Stefano Russo	Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel.	PDP	2008	DBLP DOI BibTeX RDF	dependability, Bluetooth
2	Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell	Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices.	PRDC	2007	DBLP DOI BibTeX RDF
2	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog	A Game-Theoretic Approach to Stochastic Security and Dependability Evaluation.	DASC	2006	DBLP DOI BibTeX RDF
2	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog	Towards a Stochastic Model for Integrated Security and Dependability Evaluation.	ARES	2006	DBLP DOI BibTeX RDF
2	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
2	Mário Zenha Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva	On the Effects of Errors During Boot.	LADC	2005	DBLP DOI BibTeX RDF	fault-tolerance, embedded systems, fault-injection, boundary-scan, dependability evaluation
2	Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Taisy Silva Weber	FIONA: A Fault Injector for Dependability Evaluation of Java-Based Network Applications.	NCA	2004	DBLP DOI BibTeX RDF
2	David M. Nicol, William H. Sanders, Kishor S. Trivedi	Model-Based Evaluation: From Dependability to Security.	IEEE Trans. Dependable Sec. Comput.	2004	DBLP DOI BibTeX RDF	performability evaluation, stochastic modeling, Dependability evaluation, security evaluation
2	Henrique Madeira, João Pedro Costa, Marco Vieira	The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments.	DSN	2003	DBLP DOI BibTeX RDF
2	Astrit Ademaj	A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection.	EDCC	2002	DBLP DOI BibTeX RDF
2	Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	On the Use of Model Checking Techniques for Dependability Evaluation. (PDF / PS)	SRDS	2000	DBLP DOI BibTeX RDF
2	Boudewijn R. Haverkort	Markovian Models for Performance and Dependability Evaluation.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
2	Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao	Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Hierarchical simulation, accurate fault modeling, dependability evaluation, fault dictionaries
2	Mourad Rabah, Karama Kanoun	Dependability Evaluation of a Distributed Shared Memory Multiprocessor System.	EDCC	1999	DBLP DOI BibTeX RDF
2	Yudi Purwantoro, Stuart Bennett	Decomposition Technique for Integrated Dependability Evaluation of Hardware-Software Systems Using Stochastic Activity Networks.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Klaus D. Heidtmann	Evaluation of Video Communication over Packet Switching Networks.	EDCC	1999	DBLP DOI BibTeX RDF	real-time video communication, best-effort network, forward error control, quality of service, multimedia system, visual quality, dependability evaluation
2	Silke Draber, Bernhard Eschermann	Dependability Evaluation of a Computing System for Traction Control of Electrical Locomotives.	EDCC	1996	DBLP DOI BibTeX RDF	Markov Models, Dependability Analysis, Locomotive, Reliability Analysis, Performance Degradation, FMEA
2	Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell	Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	fault tolerance process, fault occurrence process, distributed fault-tolerant architecture, Esprit Delta-4 Project, fault tolerant computing, distributed processing, fault injection, fault-tolerant systems, test sequence, dependability evaluation, dependability measures
1	Huiyun Li, Hai Yuan	Dependability evaluation of integrated circuits at design time against laser fault injection.	Security and Communication Networks	2012	DBLP DOI BibTeX RDF
1	Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel	Dependability Evaluation of Cluster-Based Distributed Systems.	Int. J. Found. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno L. B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves	Sustainability and dependability evaluation on data center architectures.	SMC	2011	DBLP DOI BibTeX RDF
1	Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Ravishankar K. Iyer	Modeling stream processing applications for dependability evaluation.	DSN	2011	DBLP DOI BibTeX RDF
1	Bruno L. B. Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires	ASTRO: A tool for dependability evaluation of Data Center infrastructures.	SMC	2010	DBLP DOI BibTeX RDF
1	Piotr Gawkowski, Monika Anna Kuczynska, Agnieszka Komorowska	Fault Effects Analysis and Reporting System for Dependability Evaluation.	RSCTC	2010	DBLP DOI BibTeX RDF
1	Marco Gribaudo, Anne Remke	Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures.	HASE	2010	DBLP DOI BibTeX RDF
1	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Masato Kitakami, Akihiro Katada, Kazuteru Namba, Hideo Ito	Dependability Evaluation for Internet-Based Remote Systems.	PRDC	2009	DBLP DOI BibTeX RDF
1	Melinda Magyar, István Majzik	Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach.	QEST	2009	DBLP DOI BibTeX RDF	UML based modeling, modular model construction, dependability evaluation, Stochastic Activity Networks
1	David de Andrés, Juan Carlos Ruiz, Daniel Gil, Pedro J. Gil	Fault Emulation for Dependability Evaluation of VLSI Systems.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Lukasz Bagrij, Katarzyna Michalska, Marek Woda	Dependability Evaluation of Service-oriented Information System Using Computer Simulation and Post-processing Results.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
1	Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli	An integrated framework for the dependability evaluation of distributed mobile applications.	SERENE	2008	DBLP DOI BibTeX RDF
1	Erling Vestergaard Matthiesen, Ossama Hamouda, Mohamed Kaâniche, Hans-Peter Schwefel	Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks.	ISAS	2008	DBLP DOI BibTeX RDF
1	Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga	Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Mehdi Dehbashi, Vahid Lari, Seyed Ghassem Miremadi, Mohammad Shokrollah-Shirazi	Fault Effects in FlexRay-Based Networks with Hybrid Topology.	ARES	2008	DBLP DOI BibTeX RDF	FlexRay Protocol, Fault Injection, Error Propagation, Distributed Embedded Systems, Dependability Evaluation
1	Huiling Shi, Jun Ma, Fengyi Zou	A Fuzzy Comprehensive Evaluation Model for Software Dependability Based on Entropy Weight.	CSSE	2008	DBLP DOI BibTeX RDF
1	Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche	The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.	EDCC	2008	DBLP DOI BibTeX RDF
1	Zonghua Zhang, Farid Naït-Abdesselam, Pin-Han Ho	Boosting Markov Reward Models for Probabilistic Security Evaluation by Characterizing Behaviors of Attacker and Defender.	ARES	2008	DBLP DOI BibTeX RDF	Network security, anomaly detection, security evaluation, Markov Reward Models
1	Salvatore Distefano	Investigating fault tolerant computing systems reliability.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Hamid R. Zarandi, Seyed Ghassem Miremadi	Dependability evaluation of Altera FPGA-based embedded systems subjected to SEUs.	Microelectronics Reliability	2007	DBLP DOI BibTeX RDF
1	Pawel Pisarczyk	Experimental Dependability Evaluation of Memory Manager in the Real-time Operating System.	IJCSA	2007	DBLP BibTeX RDF
1	Sergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa	Interval generalized stochastic petri net models in dependability evaluation.	SMC	2007	DBLP DOI BibTeX RDF
1	Henrik Eriksson	Dependability Evaluation of Time-Redundancy Techniques in Integer Multipliers.	PATMOS	2007	DBLP DOI BibTeX RDF
1	Régis Leveugle	Early Analysis of Fault-based Attack Effects in Secure Circuits.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	RTL dependability evaluation, security validation, fault models, fault injection, fault attacks
1	João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva	Failure Boundedness in Discrete Applications.	LADC	2007	DBLP DOI BibTeX RDF	Failure avoidance, Discrete applications, Fail-bounded model, Experimental Dependability Evaluation, Petri nets
1	José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha Rela	Error Propagation Monitoring on Windows Mobile-Based Devices.	LADC	2007	DBLP DOI BibTeX RDF	State and Notifications Broker, Windows Mobile, COTS, Robustness Testing, Dependability Evaluation
1	Salvatore Distefano, Antonio Puliafito	Dependability Modeling and Analysis in Dynamic Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Salvatore Distefano, Antonio Puliafito	Modeling Dependability of Dynamic Computing Systems.	ICIC	2007	DBLP DOI BibTeX RDF	Dynamic Reliability Block Diagrams, Dynamic Systems, Dependability Modeling, Dynamic Fault Trees
1	Janusz Sosnowski, Przemyslaw Zygulski, Piotr Gawkowski	Developing Data Warehouse for Simulation Experiments.	RSEISP	2007	DBLP DOI BibTeX RDF
1	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog	On Stochastic Modeling for Integrated Security and Dependability Evaluation.	JNW	2006	DBLP DOI BibTeX RDF
1	Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski	Dependability Evaluation of Real-Time Network Interfaces.	ARCS Workshops	2006	DBLP BibTeX RDF
1	Luca Sterpone, Massimo Violante	Dependability Evaluation of Transient Fault Effects in Reconfigurable Compute Fabric Devices.	IOLTS	2006	DBLP DOI BibTeX RDF
1	László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha	Dependability Evaluation of Web Service-Based Processes.	EPEW	2006	DBLP DOI BibTeX RDF
1	Abdelaziz Ammari, Régis Leveugle, B. Nicolescu, Yvon Savaria	Evaluation of a Software-Based Error Detection Technique by RT-Level Fault Injection.	DELTA	2006	DBLP DOI BibTeX RDF	software hardening, fault detection, fault injection, dependability evaluation
1	Janusz Sosnowski, Piotr Gawkowski, Przemyslaw Zygulski, Andrzej Tymoczko	Enhancing Fault Injection Testbench.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
1	Michel Cukier, Ioana Rus	Workshop on Empirical Evaluation of Dependability and Security (WEEDS).	DSN	2006	DBLP DOI BibTeX RDF
1	Domenico Cotroneo	The Hide and Seek Field Data Game.	EDCC	2006	DBLP DOI BibTeX RDF
1	Laurent Cauffriez, Vincent Benard, Dominique Renaux	A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism.	IEEE Transactions on Reliability	2006	DBLP DOI BibTeX RDF
1	Alexander Bell, Boudewijn R. Haverkort	Distributed disk-based algorithms for model checking very large Markov chains.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Disk-based algorithms, CSL model checking, Distributed algorithms, Markov chains, State-space generation, Matrix-vector product
1	Cristian Constantinescu	Dependability evaluation of a fault-tolerant processor by GSPN modeling.	IEEE Transactions on Reliability	2005	DBLP DOI BibTeX RDF
1	Abdelaziz Ammari, K. Hadjiat, Régis Leveugle	Combined Fault Classification and Error Propagation Analysis to Refine RT-Level Dependability Evaluation.	J. Electronic Testing	2005	DBLP DOI BibTeX RDF	RT-level VHDL, 8051, fault injection, VLSI design, dependability analysis, digital circuits
1	Jonny Vinter, Olof Hannius, Torbjörn Norlander, Peter Folkesson, Johan Karlsson	Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles.	DSN	2005	DBLP DOI BibTeX RDF
1	Régis Leveugle	A New Approach for Early Dependability Evaluation Based on Formal Property Checking and Controlled Mutations.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Kalyanaraman Vaidyanathan, Kishor S. Trivedi	A Comprehensive Model for Software Rejuvenation.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	measurement-based dependability evaluation, semi-Markov reward models, Availability, workload characterization, software rejuvenation, software aging
1	Holger Hermanns, David N. Jansen, Yaroslav S. Usenko	From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.	WOSP	2005	DBLP DOI BibTeX RDF	European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems
1	Lorena Anghel, Régis Leveugle, Pierre Vanhauwaert	Evaluation of SET and SEU Effects at Multiple Abstraction Levels.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Matteo Sonza Reorda, Luca Sterpone, Massimo Violante	Efficient Estimation of SEU Effects in SRAM-Based FPGAs.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Zonghua Zhang, Hong Shen, Xavier Défago, Yingpeng Sang	A Brief Comparative Study on Analytical Models of Computer System Dependability and Security.	PDCAT	2005	DBLP DOI BibTeX RDF
1	Stanislav Racek, Pavel Herout, Jan Hlavicka	Dependability Evaluation of Time Triggered Architecture Using Simulation.	Computers and Artificial Intelligence	2004	DBLP BibTeX RDF
1	Matthias Kuntz, Markus Siegle, Edith Werner	Symbolic Performance and Dependability Evaluation with the Tool CASPA.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
1	Hans-Dieter Kochs, Jörg Petersen	A Framework for Dependability Evaluation of Mechatronic Units.	ARCS Workshops	2004	DBLP BibTeX RDF
1	Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli	A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems.	ISAS	2004	DBLP DOI BibTeX RDF
1	Abdelaziz Ammari, K. Hadjiat, Régis Leveugle	On Combining Fault Classification and Error Propagation Analysis in RT-Level Dependability Evaluation.	IOLTS	2004	DBLP DOI BibTeX RDF
1	William H. Sanders	Stochastic Methods for Dependability, Performability, and Security Evaluation.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Hamid R. Zarandi, Seyed Ghassem Miremadi, Ali Reza Ejlali	Fault Injection into Verilog Models for Dependability Evaluation of Digital Systems.	ISPDC	2003	DBLP DOI BibTeX RDF
1	Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante	Accurate Analysis of Single Event Upsets in a Pipelined Microprocessor.	J. Electronic Testing	2003	DBLP DOI BibTeX RDF	fault injection, single event upsets, dependability evaluation
1	Mohamed Kaâniche, Karama Kanoun, Magnos Martinello	A User-Perceived Availability Evaluation of a Web Based Travel Agency.	DSN	2003	DBLP DOI BibTeX RDF
1	Simona Bernardi, Andrea Bobbio, Susanna Donatelli	Petri Nets and Dependability.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
1	Christof Eberst, Thomas Herbig	On the Application of the Concept of Dependability for Design and Analysis of Vision Systems.	ICVS	2003	DBLP DOI BibTeX RDF
1	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Automated Performance and Dependability Evaluation Using Model Checking.	Performance	2002	DBLP DOI BibTeX RDF
1	Pavel Herout, Stanislav Racek, Jan Hlavicka	Model-Based Dependability Evaluation Method for TTP/C Based Systems.	EDCC	2002	DBLP DOI BibTeX RDF
1	Pierluigi Civera, Luca Macchiarulo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante	An FPGA-Based Approach for Speeding-Up Fault Injection Campaigns on Safety-Critical Circuits.	J. Electronic Testing	2002	DBLP DOI BibTeX RDF	FPGA-based fault emulation, fault injection, single event upset, dependability evaluation, fault tolerant circuits
1	Eric Marsden, Jean-Charles Fabre, Jean Arlat	Dependability of CORBA Systems: Service Characterization by Fault Injection.	SRDS	2002	DBLP DOI BibTeX RDF
1	Cláudia Betous-Almeida, Karama Kanoun	Dependability Evaluation.	SAFECOMP	2001	DBLP BibTeX RDF
1	Stephanie Mahévas, Gerardo Rubino	Bound Computation of Dependability and Performance Measures.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	bounding techniques, performance evaluation, Markov chains, numerical analysis, Dependability evaluation
1	Ivan Mura, Andrea Bondavalli	Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Phased mission systems, analytical modeling and evaluation, Markov regenerative stochastic Petri nets, performability, dependability, sensitivity analysis, Markov regenerative processes
1	Walter J. Gutjahr	Software dependability evaluation based on Markov usage models.	Perform. Eval.	2000	DBLP DOI BibTeX RDF
1	Boudewijn R. Haverkort	Are Stochastic Process Algebras Good for Performance and Dependability Evaluation.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
1	Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Katerina Goseva-Popstojanova	Modeling and Analysis of Software Aging and Rejuvenation.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Pro-active Fault Management, Transactions-based Software Systems, Markov Regenerative Models, Measurement-based Dependability Evaluation, Software Aging
1	Nicolae Fota, Mohamed Kaâniche, Karama Kanoun	Dependability Evaluation of an Air Traffic Control Computing System.	Perform. Eval.	1999	DBLP DOI BibTeX RDF
1	Klaus Echtle, Jörg Keller	J.UCS Special Issue on Dependability Evaluation and Validation.	J. UCS	1999	DBLP BibTeX RDF
1	José Carlos Campelo, Pedro Yuste, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano	Dependability Evaluation of Fault Tolerant Distributed Industrial Control Systems.	IPPS/SPDP Workshops	1999	DBLP DOI BibTeX RDF