In: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006..
Formal verification of function block based specifications of safety-critical software
In: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006..
Estimating the stability region of a controlled pressurized water reactor