Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Authors:
Denis Besnard;Cristina Gacek;Cliff Jones
Affiliations:
-;-;-
Venue:
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Year:
2005

Citing 0
Cited 3

Deriving specifications for systems that are connected to the physical world

Formal methods and hybrid real-time systems
A tile logic-based semantics for mobile software architectures

International Journal of Critical Computer-Based Systems
A tile logic based semantics for mobile software architectures

VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract