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

رقم:

مقدم:

كابتشا:

 _    _    __   __   ______     ______            
| |  | ||  \ \\/ // |      \\  /_   _//   ____    
| |/\| ||   \ ` //  |  --  //   -| ||-   |    \\  
|  /\  ||    | ||   |  --  \\   _| ||_   | [] ||  
|_// \_||    |_||   |______//  /_____//  |  __//  
`-`   `-`    `-`'   `------`   `-----`   |_|`-`   
                                         `-`

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

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