[IEEE Comput. Soc. Press IEEE Symposium and Workshop on Engineering of Computer-Based Systems - Friedrichshafen, Germany (11-15 March 1996)] Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems - TL: a system-level specification language for system analysisBenders, L.P.M. · 1996

Task level specification and communicationL.P.M. Benders; M.P.J. Stevens · 1992

Task level behavioral hardware descriptionL.P.M. Benders; M.P.J. Stevens · 1991