Search

Your search keyword '"High integrity"' showing total 19 results

Search Constraints

Start Over You searched for: Descriptor "High integrity" Remove constraint Descriptor: "High integrity" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
19 results on '"High integrity"'

Search Results

1. Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software

2. SEIP: Simple and Efficient Integrity Protection for Open Mobile Platforms

3. Development of High-Integrity Software Product Lines Using Model Transformation

5. Smart Certification of Mixed Criticality Systems

6. Supporting Mixed Criticality Applications in a Ravenscar-Java Environment

8. High Integrity Ravenscar

9. Model Based Code Verification

18. Appendix

19. High integrity computing

Catalog

Books, media, physical & digital resources