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 - 3 results of 3 for search 'Sifakis, Joseph', query time: 0.49s Refine Results
  1. 1
    Modèles temporels des systèmes logiques
    by Sifakis, Joseph
    Published 1974
    Get full text
    Get full text
  2. 2
    Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique
    by Sifakis, Joseph
    Published 1979
    Get full text
    Get full text
  3. 3
    A vision for computer science — the system perspective
    by Sifakis Joseph
    Published 2011-03-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search