Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models
Rothmaier, Gerrit, Kneiphoff, Tobias, Krumm, Heiko
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding