16 відносини: Крит, Премія Тюрінга, Перевірка моделі, Афінський національний технічний університет, Національний центр наукових досліджень, Франція, Греція, Гренобль, Іракліон, Ернест Аллен Емерсон, Едмунд Кларк, 1946, 1976, 1993, 2006, 2007.
Крит
Острів Крит (Νησί Κρήτη) — п'ятий за величиною острів у Середземному морі і найбільший острів Греції.
Новинка!!: Йосиф Сіфакіс і Крит · Побачити більше »
Премія Тюрінга
Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.
Новинка!!: Йосиф Сіфакіс і Премія Тюрінга · Побачити більше »
Перевірка моделі
Перевірка моделі або перевірка властивості полягає у вичерпній і автоматичній перевірці чи задана модель певної системи відповідає заданій специфікації.
Новинка!!: Йосиф Сіфакіс і Перевірка моделі · Побачити більше »
Афінський національний технічний університет
Афінський національний технічний університет (Εθνικό Μετσόβιο Πολυτεχνείο), часто назву скорочують до Афінська політехніка, або Політехніон — один з найстаріших та найпрестижніших вищих навчальних закладів Греції.
Новинка!!: Йосиф Сіфакіс і Афінський національний технічний університет · Побачити більше »
Національний центр наукових досліджень
Національний центр наукових досліджень (НЦНІ) Франції (Centre National de la Recherche Scientifique, CNRS) — провідна наукова установа Франції.
Новинка!!: Йосиф Сіфакіс і Національний центр наукових досліджень · Побачити більше »
Франція
Фра́нція, офіційна назва Францу́зька Респу́бліка (La France, République française) — держава на заході Європи, республіка, що межує на північному сході з Бельгією, Люксембургом і Німеччиною, на сході з Німеччиною, Швейцарією, південному-заході з Іспанією й Андоррою, на південному-сході з Італією та Монако на півдні омивається Середземним морем, на заході — Атлантичним океаном.
Новинка!!: Йосиф Сіфакіс і Франція · Побачити більше »
Греція
Гре́ція (Ελλάδα — Еллада), офіційна назва Гре́цька Респу́бліка (Ελληνική Δημοκρατία) — європейська держава на півдні Балканського півострова та численних островах.
Новинка!!: Йосиф Сіфакіс і Греція · Побачити більше »
Гренобль
Грено́бль, також Ґренобль (Grenoble) — місто та муніципалітет на південному сході Франції, у регіоні Рона-Альпи, адміністративний центр департаменту Ізер.
Новинка!!: Йосиф Сіфакіс і Гренобль · Побачити більше »
Іракліон
Іра́кліон (Ηράκλειο), або Геракліон, давня назва Кандія — столиця Криту та одне з найбільших міст Греції, адміністративний центр ному Іракліон.
Новинка!!: Йосиф Сіфакіс і Іракліон · Побачити більше »
Ернест Аллен Емерсон
Ернест Аллен Емерсон (Ernest Allen Emerson 2 червня 1954) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.
Новинка!!: Йосиф Сіфакіс і Ернест Аллен Емерсон · Побачити більше »
Едмунд Кларк
Едмунд Кларк (Edmund Clarke 27 липня 1945) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.
Новинка!!: Йосиф Сіфакіс і Едмунд Кларк · Побачити більше »
1946
Без опису.
Новинка!!: Йосиф Сіфакіс і 1946 · Побачити більше »
1976
Без опису.
Новинка!!: Йосиф Сіфакіс і 1976 · Побачити більше »
1993
Без опису.
Новинка!!: Йосиф Сіфакіс і 1993 · Побачити більше »
2006
Без опису.
Новинка!!: Йосиф Сіфакіс і 2006 · Побачити більше »
2007
Без опису.
Новинка!!: Йосиф Сіфакіс і 2007 · Побачити більше »