Ijeoma Sandra Irobi, Anders Wall. Algorithms for Determining the Adequacy Constraints for the Validation of Models of complex Real-Time Systems. In Hamid R. Arabnia, editor, Proceedings of The 2005 International Conference on Modeling, Simulation and Visualization Methods, MSV 2005, Las Vegas, Nevada, USA, June 27-30, 2005. pages 208-214, CSREA Press, 2005.
@inproceedings{IrobiW05,
title = {Algorithms for Determining the Adequacy Constraints for the Validation of Models of complex Real-Time Systems},
author = {Ijeoma Sandra Irobi and Anders Wall},
year = {2005},
tags = {constraints},
researchr = {https://researchr.org/publication/IrobiW05},
cites = {0},
citedby = {0},
pages = {208-214},
booktitle = {Proceedings of The 2005 International Conference on Modeling, Simulation and Visualization Methods, MSV 2005, Las Vegas, Nevada, USA, June 27-30, 2005},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
isbn = {1-932415-70-X},
}