Model checking - A new challenge for design of complex computer-controlled systems

Vain, J.; Kyttner, R. (2001). Model checking - A new challenge for design of complex computer-controlled systems. 5th International Conference on Engineering Design and Automation (EDA 2001) : Design and Manufacturing Automation for the 21st Century, (Refereed conference papers): August 5-8, 2001, Las Vegas, Nevada, USA. Ed. Parsaei,H.R. 593−598.
publitseeritud konverentsiettekanne
Vain, J.; Kyttner, R.
  • Inglise
5th International Conference on Engineering Design and Automation (EDA 2001) : Design and Manufacturing Automation for the 21st Century, (Refereed conference papers)
Parsaei,H.R.
August 5-8, 2001, Las Vegas, Nevada, USA
2001
593598
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo

design correctness, formal verification, manufacturing process development, model checking, modeling pattern