...
机译:可串行化的多级事务控制:规范和验证
Universita di Pisa, Dipartimento di Informatica, I-56125 Pisa, Italy;
Software Competence Centre Hagenberg, A-4232 Hagenberg, Austria;
Research School of Computer Science, Australian National University, Australia;
Abstract state machines; Multi-level transactions; Partial updates; Serialisability;
机译:规范和自动验证原子并发实时交易
机译:线性哈希结构中用于语义并发控制的多级事务模型
机译:验证多级单元闪存及其应用的级别控制标准
机译:用于事务级规范的多级故障建模
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:数据数据流和模型规范用于链接多级贡献保证金占多级固定收费问题
机译:可序列化的多级事务控制:规范和 验证
机译:实时软件的多级规范和验证。