Ferhat Khendek · 3 obras en el catálogoObrasSDL 2013: Model-Driven Dependability EngineeringSystem Analysis and Modeling. Languages, Methods, and Tools for Systems EngineeringTTesting of Communicating SystemsTesting of Communicating Systems