Statistics
Publications
2
Citations
21
H-Index
2
Active since
2013
Affiliations
University of Kaiserslautern(Current)
Lisa Kiekbusch is an author at University of Kaiserslautern specializing in verification, formal verification, and systems engineering.
Publications per year
2013–2015
2
2
Tool-assisted verification of behaviour networks
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz et al. · 2013 · 10 citations
Engineering, Behaviour-based Control System, Verification +19
1–2 of 2