Extending Contract theory with Safety Integrity Levels.

Jonas Westman Mattias Nyberg

Published in: HASE (2015)

Keyphrases

integrity constraints
theoretical basis
data sets
theoretical framework
decision making
case study
multi agent systems
object oriented
computational model
information theory
lower level
levels of abstraction
formal theory
integrity checking