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, .

Automating Part of the model verification process. / Mebrahtu, H; Walker, R; Mileham, A R.

2004. 384-388 Paper presented at Proc 2nd Industrial Simulation Conference (ISC2004), University of Malaga, .

Research output: Contribution to conferencePaper

Mebrahtu, H, Walker, R & Mileham, AR 2004, 'Automating Part of the model verification process' Paper presented at Proc 2nd Industrial Simulation Conference (ISC2004), University of Malaga, 1/01/04, pp. 384-388.
Mebrahtu H, Walker R, Mileham AR. Automating Part of the model verification process. 2004. Paper presented at Proc 2nd Industrial Simulation Conference (ISC2004), University of Malaga, .
Mebrahtu, H ; Walker, R ; Mileham, A R. / Automating Part of the model verification process. Paper presented at Proc 2nd Industrial Simulation Conference (ISC2004), University of Malaga, .5 p.
@conference{7cc12bc4618b4b03a5a0b580166d8a85,
title = "Automating Part of the model verification process",
author = "H Mebrahtu and R Walker and Mileham, {A R}",
year = "2004",
language = "English",
pages = "384--388",
note = "Proc 2nd Industrial Simulation Conference (ISC2004) ; Conference date: 01-01-2004",

}

TY - CONF

T1 - Automating Part of the model verification process

AU - Mebrahtu, H

AU - Walker, R

AU - Mileham, A R

PY - 2004

Y1 - 2004

M3 - Paper

SP - 384

EP - 388

ER -