Software Engineering and Formal Methods: 11th International Conference, SEFM 201
69,59 €
Subtitle 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. - Model Checking of Security-Critical Applications in a Model-Driven Approach.
Jetzt bei Ebay: