Verification methodology for DEVS models
PhD thesis from Systems and Computer Engineering Dep. Carleton University, 1125 Colonel By Dr. Ottawa, ON, Canada K1S 5B6 - Fall 2012
Download the publication :
![Saadawi.pdf [6.1Mo]](/publications/images/pdf.png)
School : Systems and Computer Engineering Dep. Carleton University
Month : Fall
Year : 2012
Address : 1125 Colonel By Dr. Ottawa, ON, Canada K1S 5B6
URL: http://cell-devs-02.sce.carleton.ca/publications/2012/Saa12
BibTex references
@PhdThesis\{Saa12,
author = "Saadawi, Hesham",
title = "Verification methodology for DEVS models",
category = "Real-Time Systems; Real-Time Simulation",
school = "Systems and Computer Engineering Dep. Carleton University",
month = "Fall",
year = "2012",
address = "1125 Colonel By Dr. Ottawa, ON, Canada K1S 5B6",
url = "http://cell-devs-02.sce.carleton.ca/publications/2012/Saa12"
}
Other publications in the database
