Search Results - Sifakis, J. (Joseph), 1946-

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Cover Image

    Understanding and changing the world : from information to knowledge and intelligence / by Sifakis, J. (Joseph), 1946-

    Published 2022
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /

    Published 1990
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Automatic verification methods for finite state systems international workshop, Grenoble, France, June 12-14, 1989 : proceedings /

    Published 1990
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Embedded systems design : the ARTIST roadmap for research and development /

    Published 2005
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    Embedded systems design : the ARTIST roadmap for research and development /

    Published 2005
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Embedded systems design the ARTIST roadmap for research and development /

    Published 2005
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /

    Published 2002
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Conference Proceeding Book

    Save to List
    Saved in:
  8. 8
    Cover Image

    Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /

    Published 2002
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings /

    Published 2014
    Other Authors: “…Sifakis, J. (Joseph), 1946-…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search