Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Jean Mermet
    978-1-4020-2867-0
    2004
    Edition 1
    • Presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE)
    • Shows the success of research, as acknowledged by the European reviewers
    • Introduces the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components

    €280

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.