م.م. بلال عبد اللطيف كريم حمادي

المحاضرات

• communication
• The Influence of Temporal Logic on Finite Automata
• Formal verification of a UPPAALbased garage control system