Esterel v7: From Verified Formal Specification to Efficient Industrial Designs
L. M. G. Feijs
◽
H. B. M. Jonkers
1996 ◽
Vol 11
(6)
◽
pp. 322
◽
William T. Mayfield
◽
John Chludzinski
◽
John McHugh
◽
Stephen R. Welke
Neel Madhav
◽
Sriram Sankar
1987 ◽
Vol VII
(3)
◽
pp. 94-106
◽
D C Luckham
◽
R Neff
◽
D S Rosenblum
Atif Mashkoor
◽
Michael Leuschel
◽
Alexander Egyed