Chapter 13. Design Verification with State Invariants

  1. Kevin Lano
  1. Emil Sekerinski

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch13

UML 2 Semantics and Applications

UML 2 Semantics and Applications

How to Cite

Sekerinski, E. (2009) Design Verification with State Invariants, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch13

Editor Information

  1. Department of Computer Science, King's College London, London, UK

Author Information

  1. Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada

Publication History

  1. Published Online: 19 OCT 2009
  2. Published Print: 19 OCT 2009

ISBN Information

Print ISBN: 9780470409084

Online ISBN: 9780470522622

SEARCH

Options for accessing this content:

  • If you have access to this content through a society membership, please first log in to your society website.
  • Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
  • You can purchase online access to this Chapter for a 24-hour period (price varies by title)
    • If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
    • New Users: Please register, then proceed to purchase the article.

Login via OpenAthens

or

Search for your institution's name below to login via Shibboleth.

Please register to:

  • Save publications, articles and searches
  • Get email alerts
  • Get all the benefits mentioned below!

Register now >