جوزف سیفاکیس (اینگیلیسجه: Joseph Sifakis) بیلیم اینسان. جوزف سیفاکیس آتن میلّی تکنیکال بیلیم‌یوردودا درس اوْخویوب.

جوزف سیفاکیس
دوغومDecember ۲۶, ۱۹۴۶&#۱۶۰;(۱۹۴۶−۱۲−۲۶)
وطنداشلیقGreek/فرانسه
تحصیل یئریآتن میلّی تکنیکال بیلیم‌یوردو
تانینماق سببیDevelopment of Model-Checking

قایناق‌لار

دَییشدیر

اینگیلیسجه ویکی‌پدیاسی‌نین ایشلدنلری طرفیندن یارانمیش«Joseph Sifakis»، مقاله‌سیندن گؤتورولوبدور.( ۷ سپتامبر ۲۰۱۷ تاریخینده یوْخلانیلیبدیر).

قارداش پروژه‌لرده جوزف سیفاکیس گؤره داها آرتیق بیلگی‌لر تاپابیلرسینیز.


  فایل‌لار ویکی‌آمباردا