أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

           _    _    _    _    __   __   __   _   
  ____    | || | || | \  / ||  \ \\/ // | || | || 
 |    \\  | || | || |  \/  ||   \ ` //  | '--' || 
 | [] ||  | \\_/ || | .  . ||    | ||   | .--. || 
 |  __//   \____//  |_|\/|_||    |_||   |_|| |_|| 
 |_|`-`     `---`   `-`  `-`     `-`'   `-`  `-`  
 `-`

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Formal Modeling and Analysis of Timed Systems