User menu

Analyzing critical decision-based processes

Bibliographic reference Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel. Analyzing critical decision-based processes. In: IEEE Transactions on Software Engineering, Vol. 99, p. 1-28 (2014)
Permanent URL http://hdl.handle.net/2078.1/142148