Showing 1 - 4 results of 4 for search 'Talpin, Jean-Pierre', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
    Published 2017
    Other Authors: “…Talpin, Jean-Pierre…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
    by Shukla, Sandeep K
    Published 2010
    Other Authors: “…Talpin, Jean-Pierre…”
    Get full text
    Electronic Kit Book
  3. 3
    Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
    Published 2010
    Other Authors: “…Talpin, Jean-Pierre…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /
    Published 2017
    Other Authors: “…Talpin, Jean-Pierre…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search