|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2191 occurrences of 1029 keywords
|
|
|
Results
Found 4885 publication records. Showing 4885 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Jeffrey M. Voas |
COTS and High Assurance: An Oxymoron? |
HASE |
1999 |
DBLP DOI BibTeX RDF |
dependability, COTS, high assurance |
26 | Binoy Ravindran, Lonnie R. Welch, Christian Kelling |
Building Distributed Scalable Dependable Real-TimeSystems. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
performance evaluation, distributed systems, real-time system, Petri nets, dependability, control system |
26 | Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen |
From CSP Models to Markov Models. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton |
26 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer 0001, Bernd Becker 0001 |
Compositional Dependability Evaluation for STATEMATE. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Salvatore Distefano, Antonio Puliafito |
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees. |
IEEE Trans. Dependable Secur. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Romain Rouvoy, Frank Eliassen, Mikaël Beauvois |
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
planning-based adaptation, quality of service, aspect-oriented programming, component-based software engineering |
26 | Marco Domenico Aime, Paolo Carlo Pomi, Marco Vallini |
Policy-Driven System Configuration for Dependability. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel |
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Radek Dobias, Jan Konarski, Hana Kubátová |
Dependability Evaluation of Real Railway Interlocking Device. |
DSD |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Toshinori Sato, Toshimasa Funaki |
Dependability, power, and performance trade-off on a multicore processor. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Georg Lukas, André Herms, Svilen Ivanov, Edgar Nett |
An integrated approach for reliability and dependability of Wireless Mesh Networks. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Felix Reimann, Michael Glaß, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich |
Symbolic voter placement for dependability-aware system synthesis. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
mttuf, bdd, system synthesis, voter, mean time to failure, mttf |
26 | Bogdan Tomoyuki Nassu, Kiyonobu Uehara, Takashi Nanya |
Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation. |
EDCC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Huiling Shi, Jun Ma, Fengyi Zou |
A Fuzzy Comprehensive Evaluation Model for Software Dependability Based on Entropy Weight. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi |
Learning to Enhance Dependability of Information Systems. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Paola Inverardi, Massimo Tivoli |
The Future of Software: Adaptation and Dependability. |
ISSSE |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum |
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability). |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Joachim Götze, Jochen Müller 0002, Paul Müller 0001 |
Iterative Service Orchestration based on Dependability Attributes. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Marco Domenico Aime, Giorgio Calandriello, Antonio Lioy |
Dependability in Wireless Networks: Can We Rely on WiFi? |
IEEE Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Takashi Nanya |
Challenges in Dependability of Networked Systems for Information Society. |
NPC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Brian Randell |
The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Luca Ferrarini, Juliano S. A. Carneiro, Simone Radaelli, Emanuele Ciapessoni |
Dependability Analysis of Power System Protections using Stochastic Hybrid Simulation with Modelica. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Roberto Filippini, Soumen Sen, Giovanni Tonietti, Antonio Bicchi |
A Comparative Dependability Analysis of Antagonistic Actuation Arrangements for Enhanced Robotic Safety. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Salvatore Distefano, Antonio Puliafito |
Dependability Modeling and Analysis in Dynamic Systems. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Yongcai Tao, Hai Jin 0001, Xuanhua Shi |
DGSS: A Dependability Guided Job Scheduling System for Grid Environment. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza |
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières |
Enhancing Dependability of Component-Based Systems. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Cagatay Catal, Banu Diri, Bulent Ozumut |
An Artificial Immune System Approach for Fault Prediction in Object-Oriented Software. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Katarzyna Nowak, Lukasz Bagrij |
Using Distributed Multilevel Agent-based Monitoring Technique for Automated Network Modelling Approach. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Elsa Estevez, Tomasz Janowski |
Building a Dependable Messaging Infrastructure for Electronic Government. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Fang Liu, Bo Guo, Jianyin Zhao |
Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Feng Wang 0004, Yuan Xie 0001, Kerry Bernstein, Yan Luo |
Dependability Analysis of Nano-scale FinFET circuits. |
ISVLSI |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 |
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
systems engineering, architecture description language, automotive systems |
26 | Paola Inverardi, Leonardo Mostarda |
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog |
A Game-Theoretic Approach to Stochastic Security and Dependability Evaluation. |
DASC |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov |
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Barry Porter, Geoff Coulson, Daniel Hughes 0001 |
Intelligent Dependability Services for Overlay Networks. |
DAIS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Huiqiang Wang, Yonggang Pang, Ye Du, Dong Xu 0010, Daxin Liu 0001 |
Evaluation of Network Dependability Using Event Injection. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
26 | William Simmonds, Tim Hawkins |
The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Domenico Cotroneo, Generoso Paolillo, Stefano Russo 0001, Mario Lauria |
CSAR-2: A Case Study of Parallel File System Dependability Analysis. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Aad P. A. van Moorsel |
On Best-Effort and Dependability, Service-Orientation and Panacea. |
ISAS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Henrique Madeira |
Dependability Challenges and Education Perspectives. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Bjarne E. Helvik, Hein Meling, Alberto Montresor |
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Yuhong Zhao 0001, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos |
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Piotr Karwaczynski, Jan Kwiatkowski |
Analysis of Overlay Network Impact on Dependability. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Markus C. Huebscher, Julie A. McCann |
Using real-time dependability in adaptive service selection. |
ICAS/ICNS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura |
Dependability modeling and evaluation of multiple-phased systems using DEEM. |
IEEE Trans. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Kimberly Keeton, Arif Merchant |
A Framework for Evaluating Storage System Dependability. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Miguel Castro 0001, Manuel Costa, Antony I. T. Rowstron |
Performance and Dependability of Structured Peer-to-Peer Overlays. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Jun He, Matti A. Hiltunen, Richard D. Schlichting |
Customizing Dependability Attributes for Mobile Service Platforms. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Sadaf Mustafiz, Jörg Kienzle |
A Survey of Software Development Approaches Addressing Dependability. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Fulvio Corno, Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante |
A multi-level approach to the dependability analysis of networked systems based on the CAN protocol. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
fault injection, automotive, CAN bus |
26 | 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 |
|
26 | Apostolos V. Zarras, Panos Vassiliadis, Valérie Issarny |
Model-Driven Dependability Analysis of WebServices. |
CoopIS/DOA/ODBASE (2) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic |
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun |
Benchmarking Operating System Dependability: Windows 2000 as a Case Study. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad |
Improving AI Systems? Dependability by Utilizing Historical Knowledge. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Juan A. Carrasco |
Solving dependability/performability irreducible Markov models using regenerative randomization. |
IEEE Trans. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Roy Sterritt, David W. Bustard |
Autonomic Computing - A Means of Achieving Dependability? |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Robin E. Bloomfield, Bev Littlewood |
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Juan A. Carrasco |
Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
26 | David Wright 0001 |
Elicitation and Validation of Graphical Dependability Models. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh |
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Luca Simoncini |
Architectural Challenges for "Ambient Dependability". |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Nik Looker, Jie Xu 0007 |
Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
Web Services, SOAP, Software Fault Injection |
26 | Mario Dal Cin |
Extending UML towards a Useful OO-Language for Modeling Dependability Features. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Hui Ding, Can Zheng, Gul Agha, Lui Sha |
Automated Verification of the Dependability of Object-Oriented Real-Time Systems. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Nik Looker, Jie Xu 0007 |
Assessing the Dependability of OGSA Middleware by Fault Injection. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
SWIFI, GRID computing, Fault model, SOAP, OGSA, GRID Middleware |
26 | Sandro Bologna, Erik Hollnagel |
Human-Computer System Dependability. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Cliff B. Jones |
A Formal Basis for Some Dependability Notions. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Kimberly Keeton, John Wilkes |
Automating data dependability. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Astrit Ademaj |
A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection. |
EDCC |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Automated Performance and Dependability Evaluation Using Model Checking. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Marcello Lajolo, Matteo Sonza Reorda, Massimo Violante |
Early Evaluation Of Bus Interconnects Dependability For System-On-Chip Designs. |
VLSI Design |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Bonnie E. Melhart, Stephanie M. White |
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
|
26 | Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
A Dependability-Explicit Model for the Development of Computing Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
26 | David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders |
Möbius: An Extensible Tool for Performance and Dependability Modeling. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Bondavalli, Ivan Mura, István Majzik |
Automatic Dependability Analysis for Supporting Design Decisions in UML. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla |
Comparing Fault Trees and Bayesian Networks for Dependability Analysis. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson |
SQUALE Dependability Assessment Criteria. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi |
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. |
EDCC |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Yudi Purwantoro, Stuart Bennett |
Decomposition Technique for Integrated Dependability Evaluation of Hardware-Software Systems Using Stochastic Activity Networks. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Elena Troubitsyna |
Enhancing Dependability via Parameterized Refinement. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Axel Hein, Mario Dal Cin |
Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation. |
ACM Trans. Model. Comput. Simul. |
1998 |
DBLP DOI BibTeX RDF |
fault-tolerant and large-scale computer systems, hierarchical model design, process-based simulation, object-oriented modeling, timed Petri nets |
26 | Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini |
A Holistic View on the Dependability of Software-Intensive Systems. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Antonia Bertolino, Lorenzo Strigini |
On the Use of Testability Measures for Dependability Assessment. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
ultra-high reliability, software testing, error, Bayesian inference, testability, failure, fault, test oracle, reliability assessment |
26 | Manuela Nelli, Andrea Bondavalli, Luca Simoncini |
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Vicente Santonja, Marina Alonso, Xavier Molero, Juan José Serrano, Pedro J. Gil, Rafael Ors |
Dependability Models of RAID Using Stochastic Activity Networks. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Gruber 0004, Egbert Althammer, Erwin Schoitsch |
Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
RAMSS, co-operative traffic management, traffic telematics, HMI dependability, human factors, dependability analysis, road safety |
25 | Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale |
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
Distributed Real-time Embedded, Dependability, Model-driven Engineering, Component-based Systems |
25 | Jiwei Huang, Chuang Lin 0002, Xiangzhen Kong, Yemei Zhu |
Modeling and Analysis of Dependability Attributes of Service Computing Systems. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
dependability attributes, semi-Markov process, service computing |
25 | Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa |
A Dependability Case Editor with Pattern Library. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
assurance cases, dependability |
25 | Zhe Chen 0011, Gilles Motet |
Separating Functional and Dependability Requirements of Embedded Systems. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
buchi automata, model monitoring, model checking, reliability, dependability, safety, requirements evolution |
25 | Roberto Natella, Domenico Cotroneo |
Emulation of Transient Software Faults for Dependability Assessment: A Case Study. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
Dependability Assessment, Mandelbugs, Fault Tolerance, Software Faults, Software Fault Injection |
25 | Hans G. Kerkhoff, Xiao Zhang 0002 |
Design of an Infrastructural IP Dependability Manager for a Dependable Reconfigurable Many-Core Processor. |
DELTA |
2010 |
DBLP DOI BibTeX RDF |
DfX, reliability, SoC, dependability, reconfiguration, availability, BIST, many-core processors |
25 | Monica Dixit, António Casimiro |
Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
adaptation, dependability, failure detection |
25 | Davide Lorenzoli, George Spanoudakis |
Detection of Security and Dependability Threats: A Belief Based Reasoning Approach. |
SECURWARE |
2009 |
DBLP DOI BibTeX RDF |
security and dependability, belief based reasoning, runtime monitoring |
25 | 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 |
Displaying result #301 - #400 of 4885 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|