A Practical Formal Model for Safety Analysis in Capability-Based Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fred Spiessens, Peter Van Roy. A Practical Formal Model for Safety Analysis in Capability-Based Systems. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 248-278, Springer, 2005. [doi]

This author has not been identified. Look up 'Fred Spiessens' in GoogleThis author has not been identified. Look up 'Peter Van Roy' in Google