![]() |
| 2005 | ||
|---|---|---|
| 2 | Ijeoma Sandra Irobi, Anders Wall: Algorithms for Determining the Adequacy Constraints for the Validation of Models of complex Real-Time Systems. MSV 2005: 208-214 | |
| 2004 | ||
| 1 | Ijeoma Sandra Irobi, Johan Andersson, Anders Wall: Correctness Criteria for Models' Validation- A Philosophical Perspective. MSV/AMCS 2004: 475-476 | |
| 1 | Johan Andersson | [1] |
| 2 | Anders Wall | [1] [2] |