首页> 外文OA文献 >A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases.

【2h】

A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases.

机译：实时数据库中交易系统并发执行的正确性标准的正式规范。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Đoàn Văn Ban; Hồ Văn Hương;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Correctness of concurrent executions of closed nested transactions in transactional memory systems [J] . Sathya Peri, K. Vidyasankar Theoretical computer science . 2013,第Null期

机译：事务存储系统中封闭嵌套事务的并发执行的正确性
2. Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases [J] . Atluri V., Jajodia S. IEEE Transactions on Knowledge and Data Engineering . 1996,第5期

机译：在多级安全数据库中并发执行事务的替代正确性标准
3. Specification and automated verification of atomic concurrent real-time transactions [J] . Cai Simin, Gallina Barbara, Nystrom Dag, Software and systems modeling . 2021,第2期

机译：规范和自动验证原子并发实时交易
4. Specification and Formal Verification of Atomic Concurrent Real-Time Transactions [C] . Simin Cai, Barbara Gallina, Dag Nyström, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing . 2018

机译：原子并发实时交易的规范和形式验证
5. Automated test generation from formal specifications of real-time reactive systems. [D] . Zheng, Mao. 2002

机译：根据实时反应系统的正式规范自动生成测试。
6. Developmental trauma disorder: pros and cons of including formal criteria in the psychiatric diagnostic systems [O] . Marc Schmid, Franz Petermann, Joerg M Fegert 2013

机译：发育性创伤障碍：将正式标准纳入精神病学诊断系统的利弊
7. Correctness of concurrent executions of closed nested transactions in transactional memory systems [O] . Sathya Peri 2011

机译：事务存储系统中封闭嵌套事务的并发执行的正确性
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

A formal specification of the correctness criteria for concurrent executions of a transaction system in real time databases.

著录项

引文网络

相似文献

相关主题

期刊订阅