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