High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Date 10-12 Nov. 2011
Filter Results
Displaying Results 1 - 25 of 71
-
[Front cover]
|
PDF (3343 KB)
-
[Title page i]
|
PDF (64 KB)
-
[Title page iii]
|
PDF (97 KB)
-
[Copyright notice]
|
PDF (109 KB)
-
Table of contents
|
PDF (143 KB)
-
Preface
|
PDF (48 KB)
-
Organizing Committee
|
PDF (43 KB)
-
Program Committee
|
PDF (46 KB)
-
Steering Committee
|
PDF (42 KB)
-
Sponsors
|
PDF (73 KB)
-
Keynotes
|
PDF (76 KB)
-
Panel
|
PDF (68 KB)
-
-
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models
|
PDF (541 KB)
-
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis
|
PDF (241 KB)
-
Model Driven Validation of System Architectures
|
PDF (1392 KB)
-
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing
|
PDF (287 KB)
-
-
An Event-B Interpretation for SPARDL Model
|
PDF (344 KB)
-
-
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services
|
PDF (206 KB)
-
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology
|
PDF (319 KB)
-
On High-Assurance Scientific Workflows
|
PDF (593 KB)
-
-
Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems
|
PDF (173 KB)
