Search results for "fault tolerance specification"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rayna Dimitrova, Bernd Finkbeiner	Synthesis of Fault-Tolerant Distributed Systems.	ATVA	2009	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.	WADS	2008	DBLP DOI BibTeX RDF	Software Architecture Formal Analysis, Security, Fault Tolerance
1	Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Douglas C. Schmidt, Nanbor Wang	Towards Middleware for Fault-Tolerance in Distributed Real-Time and Embedded Systems.	DAIS	2008	DBLP DOI BibTeX RDF
1	Tomasz Janowski, Mathai Joseph	Dynamic Scheduling and Fault-Tolerance: Specification and Verification.	Real-Time Systems	2001	DBLP DOI BibTeX RDF
1	Giovanna Dondossola, Oliver Botti	System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.	FASE	2000	DBLP DOI BibTeX RDF
1	Christopher Exton	Distributed Fault Tolerance Specification through the use of Interface Definitions.	TOOLS	1997	DBLP DOI BibTeX RDF	Interface Language, Object Orientation, Distribution
1	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
1	Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar	Specifying fault tolerance in mission critical systems. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
1	Michelle M. Hugue, Richard C. Scalzo	Specifying fault tolerance in large complex computing systems.	ICECCS	1995	DBLP DOI BibTeX RDF	fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints