Automating Part of the model verification process

H Mebrahtu, R Walker, A R Mileham

Research output: Contribution to conferencePaper

Original languageEnglish
Pages384-388
Number of pages5
Publication statusPublished - 2004
EventProc 2nd Industrial Simulation Conference (ISC2004) - University of Malaga
Duration: 1 Jan 2004 → …

Conference

ConferenceProc 2nd Industrial Simulation Conference (ISC2004)
CityUniversity of Malaga
Period1/01/04 → …

Cite this

Mebrahtu, H., Walker, R., & Mileham, A. R. (2004). Automating Part of the model verification process. 384-388. Paper presented at Proc 2nd Industrial Simulation Conference (ISC2004), University of Malaga, .