![]() | ![]() |
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] |