system buses; graphical user interfaces; asynchronous circuits; specification languages; formal design; graphical design; bus system; bus arbiter; formal framework; action systems; UML profile notations; hardware design decision; graphical environment;
机译:使用形式化图形方法(FGA)的端口模拟器的设计和实现
机译:通过图形设计和形式验证来实现过程控制软件的高度完整性
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:总线系统的形式和图形设计的各个方面
机译:正式设计分析框架:面向方面的架构框架。
机译:瑞典和中国的医疗保健系统:法律和正式组织方面
机译:总线系统的形式和图形设计方面