Login / Signup
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies.
Fredrik Seehusen
Bjørnar Solhaug
Ketil Stølen
Published in:
Softw. Syst. Model. (2009)
Keyphrases
</>
information flow
information systems
probability distribution
supply chain
decision makers