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]  
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.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.sce.carleton.ca/publications/2012/Saa12"
}

Other publications in the database