[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 analysis

• 作者Benders, L.P.M.
• 文件大小799.31KB
• 发表时间1996
• DOI10.1109/ecbs.1996.494535
• 页码244-251