SOL: A Verifiable Synchronous Language for Reactive Systems

机译：SOL：适用于反应系统的可验证同步语言

代理获取

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

页面导航

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

著录项

作者
Bharadwaj Ramesh;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A UNIFIED AND SYNCHRONOUS GENERATING SYSTEM FOR MULTIPLE NATURAL LANGUAGES BASED ON CFG AND SEMANTIC LANGUAGE [J] . LI LI∗ HONGLAI LIU† QINGSHI GAO‡and PEIFENG WANG§ International Journal of Wavelets, Multiresolution and Information Processing . 2012,第4期

机译：基于CFG和语义语言的多种自然语言统一同步生成系统。
2. A UNIFIED AND SYNCHRONOUS GENERATING SYSTEM FOR MULTIPLE NATURAL LANGUAGES BASED ON CFG AND SEMANTIC LANGUAGE [J] . LI LI, HONGLAI LIU, QINGSHI GAO, International Journal of Wavelets, Multiresolution and Information Processing . 2012,第4期

机译：基于CFG和语义语言的多种自然语言统一同步生成系统。
3. A UNIFIED AND SYNCHRONOUS GENERATING SYSTEM FOR MULTIPLE NATURAL LANGUAGES BASED ON CFG AND SEMANTIC LANGUAGE [J] . LI LI, HONGLAI LIU, QINGSHI GAO, International Journal of Wavelets, Multiresolution and Information Processing . 2012,第4期

机译：基于CFG和语义语言的多种自然语言统一同步生成系统。
4. Engineering functional requirements of reactive systems using synchronous languages [C] . Jahier Erwan, Halbwachs Nicolas, Raymond Pascal IEEE International Symposium on Industrial Embedded Systems . 2013

机译：使用同步语言的反应系统的工程功能要求
5. Towards verifiable privacy policy compliance of an actor-based electronic medical record system: An extension to the HAPL language focused on exposing a user interface. [D] . MacGahan, Thomas. 2016

机译：致力于实现基于行为者的电子病历系统的可验证的隐私策略合规性：HAPL语言的扩展，重点在于公开用户界面。
6. The Utility of Pain Scale to Assess Verifiable vs Non-Verifiable Pain in United States Emergency Departments [O] . K. Tom Xu, James E. Morris, Christopher Piel 2021

机译：疼痛规模的效用评估验证的验证与美国急诊部门的非可验证疼痛
7. SOL: A Verifiable Synchronous Language for Reactive Systems [O] . Ramesh Bharadwaj 2002

机译：SOL：适用于反应系统的可验证同步语言
8. SOL: A Verifiable Synchronous Language for Reactive Systems [R] . Bharadwaj, R. 2002

机译：sOL：一种可验证的反应系统同步语言

SOL: A Verifiable Synchronous Language for Reactive Systems

著录项

引文网络

相似文献

相关主题

期刊订阅