Statistics
Publications
17
Citations
513
H-Index
13
Active since
1999
Kirsten Winter is an author at The University of Queensland specializing in computer science, systems engineering, and computing.
Publications per year
1999–2022
17
17
Probabilistic Model-Checking Support for FMEA
Lars Grunske, Robert J. Colvin, Kirsten Winter · 2007 · 60 citations · Full text
Model checking railway interlocking systems
Kirsten Winter · 2002 · 46 citations
1–5 of 17