Dipartimento di Informatica, Sistemistica e Comunicazione Universita degli Studi di Milano -Bicocca;
机译:接口图:用于支持复杂产品系统中模块化开发的设计工具
机译:快速开发基于模块化和分层神经网络的系统的工具
机译:模块化工具系统的发展趋势
机译:模块化系统开发的正式工具
机译:系统工程工具的扩展和应用,以开发用于CAIV实施的正式方法
机译:模和形式不变量理论以及模几何的最新进展
机译:可重新配置的激光微处理系统:开发用于实现模块化激光微制造平台的通用系统级工具
机译:分布式实时系统开发的形式化方法和工具