The following pages link to Ketil Stølen (Q216265):
Displayed 13 items.
- Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement (Q609010) (← links)
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis (Q2517831) (← links)
- Specification and Development of Interactive Systems (Q2725941) (← links)
- Risk Analysis of Changing and Evolving Systems Using CORAS (Q3092187) (← links)
- (Q3370739) (← links)
- (Q4251112) (← links)
- Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams (Q4989487) (← links)
- Trust Management (Q5307979) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897952) (← links)
- Stream-based specification of mobile systems (Q5949546) (← links)