جوزف سیفاکیس
جوزف سیفاکیس (اینگیلیسجه: Joseph Sifakis) بیلیم اینسان. جوزف سیفاکیس آتن میلّی تکنیکال بیلیم‌یوردودا درس اوْخویوب.
جوزف سیفاکیس | |
|---|---|
 | |
| دوغوم | December ۲۶, ۱۹۴۶ |
| وطنداشلیق | Greek/فرانسه |
| تحصیل یئری | آتن میلّی تکنیکال بیلیم‌یوردو |
| تانینماق سببی | Development of Model-Checking |
قایناق‌لار دَییشدیر
اینگیلیسجه ویکی‌پدیاسی‌نین ایشلدنلری طرفیندن یارانمیش«Joseph Sifakis»، مقاله‌سیندن گؤتورولوبدور.( ۷ سپتامبر ۲۰۱۷ تاریخینده یوْخلانیلیبدیر).
