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