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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B