...
机译:使用定时过程代数的硬件系统的规范和分析
Formal languages; Formal semantics; Process algebras; Real-time systems; Formal specification and analysis; Hardware systems;
机译:使用定时过程代数的硬件系统的规范和分析
机译:定时志硬件系统的形式规范与分析
机译:用于实时系统规范和验证的过程代数框架
机译:通过UML / RT模型的系统转换为简单定时过程代数系统规范设计实时系统
机译:从代数规范到正确的VLSI系统(硬件设计,设计自动化)
机译:用于高场MRI期间电生理采集和实时处理的开源硬件和软件系统
机译:资源受限实时系统的规范和分析的过程代数方法
机译:通信过程代数(aCp)tau:用于过程规范的通用公理系统