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

رقم:

مقدم:

كابتشا:

  ______     ___     _    _      ___      _____   
 /_   _//   / _ \\  | || | ||   / _ \\   |__  //  
   | ||    / //\ \\ | || | ||  / //\ \\    / //   
  _| ||   |  ___  ||| \\_/ || |  ___  ||  / //__  
 /__//    |_||  |_|| \____//  |_||  |_|| /_____|| 
 `--`     `-`   `-`   `---`   `-`   `-`  `-----`

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

أرسل هذا في رسالة قصيرة: Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties