Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm. Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Volume 3639 of Lecture Notes in Computer Science, pages 236-250, Springer, 2005. [doi]

This author has not been identified. Look up 'Gerrit Rothmaier' in GoogleThis author has not been identified. Look up 'Tobias Kneiphoff' in GoogleThis author has not been identified. Look up 'Heiko Krumm' in Google

runs on WebDSL