Model Checking for Input/Output Properties of a Black-Box Model.
Title | Model Checking for Input/Output Properties of a Black-Box Model. |
Publication Type | Journal Article |
Year of Publication | 2007 |
Authors | Dosch, W, Muenchaisri, P, Ruanthong, W, Stümpel, A |
Bibtex:
@article {542, title = {Model Checking for Input/Output Properties of a Black-Box Model.}, year = {2007}, note = {In: S. Sahni (ed.): Proceedings of the Third International Conference on Advances in Computer Science and Technology (ACST 2007). Phuket, Thailand, April 2-4, 2007. Anaheim, CA: Acta Press 2007, 120-127 [ISBN 978-0-88986-656-0]}, author = {W. Dosch and Muenchaisri, P. and W. Ruanthong and A. St{\"u}mpel} }