| 2008 |
|---|
| 5 | EE | Mark Utting,
Petra Malik:
Unit Testing of Z Specifications.
ABZ 2008: 309-322 |
| 2007 |
|---|
| 4 | EE | Petra Malik,
Robi Malik,
David Streader,
Steve Reeves:
Modular Synthesis of Discrete Controllers.
ICECCS 2007: 25-34 |
| 2006 |
|---|
| 3 | EE | Annika Hinze,
Petra Malik,
Robi Malik:
Interaction design for a mobile context-aware system using discrete event modelling.
ACSC 2006: 257-266 |
| 2005 |
|---|
| 2 | EE | Tim Miller,
Leo Freitas,
Petra Malik,
Mark Utting:
CZT Support for Z Extensions.
IFM 2005: 227-245 |
| 1 | EE | Petra Malik,
Mark Utting:
CZT: A Framework for Z Tools.
ZB 2005: 65-84 |
