automata theory; electronic commerce; formal specification; object-oriented programming; complex software system; component based development; component based e-commerce system modeling; hierarchical framework; hierarchical structure; hierarchical timed automata;
机译:基于正式组件的PLC系统建模和综合
机译:基于组件的PLC系统形式化建模
机译:基于组件的PLC系统形式化建模
机译:对基于组件的电子商务系统进行正式建模的方法
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:使用正式模型的组件基软件系统性能和可靠性建模与评估