Search Results - "Computer software Verification"

Suggested Topics within your search.

Search alternatives:

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

    Software Safety and Security. by Nipkow, T.

    Published 2012
    Subjects: “…Computer software Verification Congresses.…”
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Engineering Dependable Software Systems. by Broy, M.

    Published 2013
    Subjects: “…Computer software Verification Congresses.…”
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Dependable software systems engineering

    Published 2015
    Subjects: “…Computer software Verification Congresses.…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Software and systems safety : specification and verification

    Published 2011
    Subjects: “…Computer software Verification Congresses.…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Principles of model checking by Baier, Christel

    Published 2008
    Subjects: “…Computer software Verification.…”
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11

    Published 2011
    Subjects: “…Computer software Verification Congresses.…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, 1917-

    Published 2008
    Subjects: “…Computer software Verification.…”
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Verification of infinite-state systems with applications to security

    Published 2006
    Subjects: “…Computer software Verification Congresses.…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design. by Mathaikutty, Deepak A.

    Published 2009
    Subjects: “…Computer software Verification.…”
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:

Search Tools: