Showing 1 - 20 results of 79 for search '', query time: 0.09s Refine Results
  1. 1
    Introducing software verification with Dafny language : proving program correctness

    Introducing software verification with Dafny language : proving program correctness by Sitnikovski, Boro

    Berkeley, CA : Apress L. P., 2022
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  2. 2
    The software audit guide

    The software audit guide by Helgeson, John W., 1945-

    Milwaukee, Wisconsin : ASQ Quality Press, 2009
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (MCPHS users only)
    Access E-Book
    Full text (Wentworth users only)
    Save to List
    Saved in:
  3. 3
    Modeling and verification of real-time systems : formalisms and software tools

    Modeling and verification of real-time systems : formalisms and software tools

    London, UK : Hoboken, NJ : ISTE ; John Wiley, 2008
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  4. 4
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

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

    Hoboken, N.J. : Wiley-Interscience, 2008
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  5. 5
    Verification of infinite-state systems with applications to security

    Verification of infinite-state systems with applications to security

    Amsterdam ; Washington, D.C. : IOS Press, 2006
    Format: Electronic Conference Proceeding eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  6. 6
    21 CFR Part 11 complete guide to international computer validation compliance for the pharmaceutical industry

    21 CFR Part 11 complete guide to international computer validation compliance for the pharmaceutical industry by López, Orlando

    Boca Raton : Interpharm/CRC : Sue Horwood Pub., 2004
    Format: Electronic eBook
    Full text (WIT users only)
    Save to List
    Saved in:
  7. 7
    Comprehensive nuclear test ban treaty technical issues for the United States

    Comprehensive nuclear test ban treaty technical issues for the United States

    Washington, D.C. : National Research Council : National Academies Press, 2012
    Format: Electronic eBook
    Access E-Book
    Save to List
    Saved in:
  8. 8
    Seismological research requirements for a comprehensive test-ban monitoring system

    Seismological research requirements for a comprehensive test-ban monitoring system

    Washington, D.C. : National Academy Press, 1995
    Format: Electronic eBook
    Access E-Book
    Save to List
    Saved in:
  9. 9
    Reconfigurable system design and verification

    Reconfigurable system design and verification by Hsiung, Pao-Ann

    Boca Raton : CRC Press, 2009
    Format: Electronic eBook
    Full text (WIT users only)
    Save to List
    Saved in:
  10. 10
    Verification and validation for quality of UML 2.0 models

    Verification and validation for quality of UML 2.0 models by Unhelkar, Bhuvan

    Hoboken, NJ : John Wiley, 2005
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  11. 11
    Detection of nuclear weapons and materials

    Detection of nuclear weapons and materials

    New York : Nova Science Publishers Inc., 2010
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  12. 12
    New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11

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

    Amsterdam ; Washington, D.C. : IOS Press, 2011
    Format: Electronic Conference Proceeding eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  13. 13
    Software safety and security tools for analysis and verification

    Software safety and security tools for analysis and verification

    Washington, D.C. : IOS Press, 2012
    Format: Electronic Conference Proceeding eBook
    Access E-Book
    Save to List
    Saved in:
  14. 14
    Industrial used of formal method : formal verification

    Industrial used of formal method : formal verification

    London : Hoboken, NJ : ISTE ; Wiley, 2012
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  15. 15
    Practical design verification

    Practical design verification

    Cambridge, U.K. ; New York : Cambridge University Press, 2009
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  16. 16
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

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

    Hoboken, N.J. : Wiley-Interscience, 2008
    Format: Electronic eBook
    Access E-Book
    Save to List
    Saved in:
  17. 17
    SystemVerilog assertions and functional coverage : guide to language, methodology and applications

    SystemVerilog assertions and functional coverage : guide to language, methodology and applications by Mehta, Ashok B.

    [Place of publication not identified] : Springer, 2016
    Second edition.
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  18. 18
    Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design.

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

    Norwood : Artech House, 2009
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Full text (Wentworth users only)
    Save to List
    Saved in:
  19. 19
    Reconfigurable system design and verification

    Reconfigurable system design and verification by Hsiung, Pao-Ann

    Boca Raton, Fla. : CRC Press, 2009
    Format: Electronic Book
    Full text (Wentworth users only)
    Save to List
    Saved in:
  20. 20
    Education and ethics in the life sciences : strengthening the prohibition of biological weapons

    Education and ethics in the life sciences : strengthening the prohibition of biological weapons

    Canberra, ACT, Australia : ANU E Press, 2010
    Format: Electronic eBook
    Full text (Emerson users only)
    Full text (Open Access)
    Full text (Emmanuel users only)
    Full text (NECO users only)
    Full text (MCPHS users only)
    Access E-Book
    Access E-Book
    Full text (Wentworth users only)
    Save to List
    Saved in:

Search Tools: