Advertisement

Formalizing and Checking Requirements

  • Peter Csaba Ölveczky
Chapter
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Abstract

Chapter  15 discusses classes of requirements that a distributed system may have to satisfy.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations