Sofiène Tahar

ספרים שבהם Sofiène Tahar מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Verification and Evaluation of Computer and Communication SystemsKamel Barkaoui

Verification and Evaluation of Computer and Communication Systems

Kamel Barkaoui · 2022

Formal Methods and Software EngineeringYi Li

Formal Methods and Software Engineering

Yi Li · 2023