Combining conceptual modeling and formal methods to design control systems

Hooman, J.; Vain, J. (1997). Combining conceptual modeling and formal methods to design control systems. Selected papers from NWPT'96 : 8th Nordic Workshop on Programming Theory, Oslo, December 4-6, 1996. Ed. Haveraaen,M. Owe,O. Oslo: University of Oslo, 109−118. (Resrearch report (University of Oslo. Department of Informatics) ; 248; ).
publitseeritud konverentsiettekanne
Hooman, J.; Vain, J.
  • Inglise
Selected papers from NWPT'96 : 8th Nordic Workshop on Programming Theory, Oslo, December 4-6, 1996
Haveraaen,M. Owe,O.
Oslo
University of Oslo
0806-3036
8273681637
Resrearch report (University of Oslo. Department of Informatics) ; 248;
1997
109118
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Lisainfo