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 - 2 results of 2 for search 'Sifakis, Joseph', query time: 0.01s Refine Results
  1. 1
    Embedded Systems Design The ARTIST Roadmap for Research and Development /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /
    Published 2002
    Other Authors: “…Sifakis, Joseph…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search