Adherence preserving refinement of trace-set properties in STAIRS: Exemplified for information flow properties and policies
Kategori
Vitenskapelig artikkel
Språk
Engelsk
Forfatter(e)
- Fredrik Seehusen
- Bjørnar Solhaug
- Ketil Stølen
Institusjon(er)
- Universitetet i Oslo
- SINTEF AS
- Universitetet i Bergen
År
2009Publisert i
Software and Systems Modeling (SoSyM)
ISSN
1619-1366
Forlag
Springer
Årgang
8
Hefte nr.
1
Side(r)
45 - 65