首页> 外文OA文献 >Formal Nova interface specification : Formal specification of the micro-hypervisor interface

【2h】

Formal Nova interface specification : Formal specification of the micro-hypervisor interface

机译：Nova的正式接口规范：微型管理程序接口的正式规范

页面导航

著录项
相似文献
相关主题

著录项

作者
Tews H.; Weber T.; Poll E.; Eekelen M.C.J.D. van;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. JPIAspectZ: A Formal Requirement Specification Language for Joint Point Interface AOP Applications [J] . C. L. Vidal-Silva, E. Madariaga, T. Pham, Engineering Technology and Applied Science Research . 2019,第4期

机译：JPIAspectZ：联合点接口AOP应用程序的形式要求规范语言
2. Developing usable web interfaces with the aid of automatic verification of their formal specification [J] . Rosanna Cassino, Maurizio Tucci Journal of Visual Languages & Computing . 2011,第2期

机译：通过自动验证其正式规格来开发可用的Web界面
3. Comments on 'Formal specification of user interfaces: a comparison and evaluation of four axiomatic approaches' by U.H. Chi [J] . Alexander H. IEEE Transactions on Software Engineering . 1988,第4期

机译：U.H.对``用户界面的形式规范：四种公理方法的比较和评估''的评论驰
4. Semi-formal and formal interface specification for system of systems architecture [C] . Bryans Jeremy, Payne Richard, Holt Jon, 7th Annual IEEE International Systems Conference . 2013

机译：系统架构系统的半正式和正式接口规范
5. A FORMAL SPECIFICATION FOR A USER INTERFACE FOR OFFICE AUTOMATION. [D] . KAZEMIAN, FEREYDOUN. 1987

机译：用于办公室自动化的用户界面的正式规范。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. Semi-formal and formal interface specification for system of systems architecture [O] . Jeremy Bryans, R. Payne, J. Holt, 2013

机译：系统架构系统半正式和正式界面规范
8. Semi-Formal and Formal Interface Specification for System of Systems Architecture. [R] . Bryans, J., Payne, R., Holt, J., 2013

机译：系统体系结构的半形式和形式接口规范。

Formal Nova interface specification : Formal specification of the micro-hypervisor interface

著录项

相似文献

相关主题

期刊订阅