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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling