ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Validating the design of dependable systems
Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)
◽
10.1109/isorc.1998.666809
◽
2002
◽
Cited By ~ 1
Author(s):
C. Bernardeschi
◽
L. Simoncini
◽
A. Fantechi
Keyword(s):
Dependable Systems
Download Full-text
Related Documents
Cited By
References
Quantitative Analysis of UML Statechart Models of Dependable Systems
The Computer Journal
◽
10.1093/comjnl/45.3.260
◽
2002
◽
Vol 45
(3)
◽
pp. 260-277
◽
Cited By ~ 32
Author(s):
G. Huszerl
Keyword(s):
Quantitative Analysis
◽
Dependable Systems
Download Full-text
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems
Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
◽
10.1007/978-3-030-26250-1_6
◽
2019
◽
pp. 74-86
◽
Cited By ~ 1
Author(s):
Lijun Shan
◽
Behrooz Sangchoolie
◽
Peter Folkesson
◽
Jonny Vinter
◽
Erwin Schoitsch
◽
...
Keyword(s):
Security And Privacy
◽
Dependable Systems
Download Full-text
Towards Developing Dependable Systems Suitable for Crisis Management Applications
Lecture Notes in Business Information Processing - Information Systems for Crisis Response and Management in Mediterranean Countries
◽
10.1007/978-3-319-67633-3_7
◽
2017
◽
pp. 77-84
◽
Cited By ~ 2
Author(s):
Angeliki Zacharaki
◽
Ioannis Kostavelis
◽
Ioannis Dokas
Keyword(s):
Crisis Management
◽
Dependable Systems
Download Full-text
Statistical analysis and comparison of simulation models of highly dependable systems — An experimental study
Proceedings of the 2009 Winter Simulation Conference (WSC)
◽
10.1109/wsc.2009.5429726
◽
2009
◽
Cited By ~ 1
Author(s):
Peter Buchholz
◽
Dennis Muller
Keyword(s):
Experimental Study
◽
Statistical Analysis
◽
Simulation Models
◽
Dependable Systems
Download Full-text
Workshop on Architecting Dependable Systems (WADS 2008)
2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)
◽
10.1109/dsn.2008.4630128
◽
2008
◽
Author(s):
Rogerio de Lemos
◽
Jean-Charles Fabre
◽
Cristina Gacek
Keyword(s):
Dependable Systems
Download Full-text
Dependable Systems and Platforms
Advances in Distributed Computing and Middleware - Distributed Systems for System Architects
◽
10.1007/978-1-4615-1663-7_9
◽
2001
◽
pp. 259-270
Author(s):
Paulo Veríssimo
◽
Luís Rodrigues
Keyword(s):
Dependable Systems
Download Full-text
Architecting Dependable Systems with Proactive Fault Management
Architecting Dependable Systems VII - Lecture Notes in Computer Science
◽
10.1007/978-3-642-17245-8_8
◽
2010
◽
pp. 171-200
Author(s):
Felix Salfner
◽
Miroslaw Malek
Keyword(s):
Fault Management
◽
Dependable Systems
Download Full-text
Software For Dependable Systems
Insight
◽
10.1002/inst.200811262
◽
2008
◽
Vol 11
(2)
◽
pp. 62-63
◽
Cited By ~ 1
Author(s):
Daniel Jackson
◽
Martyn Thomas
◽
Lynette I. Millett
◽
Trace Baker
Keyword(s):
Dependable Systems
Download Full-text
A Multi-Class Mobility Model for Dynamic and Dependable Systems
2013 27th International Conference on Advanced Information Networking and Applications Workshops
◽
10.1109/waina.2013.28
◽
2013
◽
Cited By ~ 2
Author(s):
P. Bull
◽
G. Antonopoulos
◽
Lin Guan
◽
Xingang Wang
◽
Xunli Fan
Keyword(s):
Mobility Model
◽
Dependable Systems
◽
Class Mobility
Download Full-text
2005 International Conference on Dependable Systems and Networks - Table of Contents
2005 International Conference on Dependable Systems and Networks (DSN'05)
◽
10.1109/dsn.2005.3
◽
2005
◽
Keyword(s):
Dependable Systems
◽
International Conference
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close