Home Publications

Stable Availability under Denial of Service Attacks through Formal Patterns

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • Eckhardt, Jonas
  • M\, Tobias
  • AlTurki, Musab
  • Meseguer, Jos\'{e}
  • Wirsing, Martin
Editor: Lara, Juan and Zisman, Andrea
Book title: 15th International Conference on Fundamentals of Software Engineering (FASE'12)
Series: LNCS
PARTNERS: LMU and partners outside NESSoS (TU, Augsburg, Illinois); PROJECTS: NESSoS; NoTier cites:17