An operational specification model for process control software
Kull, Anu
Preprints 11th IFAC World Congress "Automatic Control in the Service of Mankind" : Tallinn, Estonia, USSR, August 13-17, 1990. Vol. 7
1990
/
p. 269-272