Leveraging Applications of Formal Methods, Verification and Validation. Technolo
68,30 €
Technologies for Mastering Change. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. - Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.
Jetzt bei Ebay: