home
>
book reviews
> Babak Dehbonei
Google >
Babak Dehbonei
author : Babak Dehbonei
Short works
Formal Development of Safety-Critical Software Systems in Railway Signaling. 1995.
(In
Applications of Formal Methods
)