Formal specification and verification of the C♯ thread model

机译：C♯线程模型的正式规范和验证

代理获取

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

页面导航

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

著录项

作者
Stärk Robert F.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal specification and verification of the C# thread model [J] . Robert F. Stark Theoretical computer science . 2005,第3期

机译：C＃线程模型的正式规范和验证
2. Formal specification and verification of reusable communication models for distributed systems architecture [J] . Quentin Rouland, Brahim Hamid, Jason Jaskolka Future generation computer systems . 2020,第Jula期

机译：分布式系统体系结构的可重用通信模型的正式规范和验证
3. Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction [J] . Bolton M.L., Jimenez N., van Paassen M.M., Human-Machine Systems, IEEE Transactions on . 2014,第5期

机译：从任务模型自动生成规范属性，以进行人与自动化交互的形式验证
4. A Formal Specification and Verification of GSM using the OSI-RM Formal Object Model [C] . Rasha M.B.E. Morsi, James F. Leathrum 2003 Advanced Simulation Technologies Conference, Mar 30-Apr 3, 2003, Orlando, Florida . 2003

机译：使用OSI-RM形式对象模型的GSM形式规范和验证
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification [O] . Popp Roman, Hoch Ralph, Kaindl Hermann 2017

机译：通过语义任务规范连接以任务为中心与以人工为中心的模型及其在形式验证中的应用
8. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems [R] . Rushby, John 1991

机译：数字飞行控制系统的故障屏蔽和瞬态恢复模型的正式规范和验证

Formal specification and verification of the C♯ thread model

著录项

引文网络

相似文献

相关主题

期刊订阅