Architecture-level dependability analysis of a medical decision support system
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
The AdaptiV approach to verification of adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Hi-index | 0.00 |