Skip recommendations

Joseph Sifakis

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Sifakis, Joseph', query time: 0.01s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Embedded Systems Design The ARTIST Roadmap for Research and Development /
    Published 2005
    Other Authors:
    Texto Completo
    Electronic eBook