Atle Refsdal

Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice : Part 2

2007

Cyber-risk management

2015

Specification and refinement of soft real-time requirements using sequence diagrams

2007