No. Title Author Year
1 Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study Ma, Xintao et al. 2014
2 Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501) Coles-Kemp, Lizzie et al. 2013
3 10341 Abstracts Collection -- Insider Threats: Strategies for Prevention, Mitigation, and Response Bishop, Matt et al. 2010
4 10341 Report -- Insider Threats: Strategies for Prevention, Mitigation, and Response Bishop, Matt et al. 2010
5 08302 Abstracts Collection -- Countering Insider Threats Bishop, Matt et al. 2008
6 08302 Summary -- Countering Insider Threats Probst, Christian W. et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI