A Formal Approach to Real-Time Object Oriented Software
Carvalho, Sérgio E., Fiadeiro, José L., Haeusler, Edward H.Volume:
30
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)41394-2
Date:
September, 1997
File:
PDF, 1.46 MB
english, 1997