Component Based Dependable System Modelling for Easier Verification
Keyword(s):
1992 ◽
Vol 139
(3)
◽
pp. 211
◽
Keyword(s):
1987 ◽
1988 ◽
Vol 53
(10)
◽
pp. 2377-2384
◽
1989 ◽
Vol 139
(3-4)
◽
pp. 133-140
◽