Les chronogrammes: semantique et passage vers un modele intermediaire

机译：计时图：语义和过渡到中间模型

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

页面导航

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

摘要

Cet article porte sur la specification et l'analyse comportementale des systemes temporises. D'abord nous donnons une semantique formelle a un langage de chronogrammes. Puis, nous definissons une procedure de passage vers un modele intermediaire sur lequel l'analyse de proprietes temporelles est decidable.

机译：本文讨论了定时系统的规范和行为分析。首先，我们为计时码表语言提供形式语义。然后，我们定义到中间模型的过渡过程，在该模型上可以确定时间属性的分析。

著录项

来源
《1995 Canadian conference on electrical and computer engineering : Conference proceedings》|1995年|640-643|共4页
会议地点 Montreal(CA);Montreal(CA);Montreal(CA);Montreal(CA)
作者
Bachir Berkane; Simona Gandrabur; Eduard Cerny;
展开▼
作者单位

Laboratoire de VLSI, Dep. D'IRO, Universite de Montreal;

Laboratoire de VLSI, Dep. D'IRO, Universite de Montreal;

Laboratoire de VLSI, Dep. D'IRO, Universite de Montreal;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类一般性问题;
关键词

相似文献

外文文献
中文文献
专利

1. Dossier: Ingenierie a base de modeles (1ere partie) - TopPROCESS: vers une ingenierie des procedes dirigee par les modeles [J] . Angel GARCIA, Benoit COMBEMALE, Xavier CREGUT, Revue de l'electricite et de l'electronique . 2009,第2期

机译：档案：基于模型的工程（第1部分）-TopPROCESS：由模型驱动的过程工程
2. Representation, fusion et analyse d'informations mises sous forme de reseaux semantiques: vers le "calcul litteraire"? [J] . J. Rohmer Revue de l'electricite et de l'electronique . 2002,第7期

机译：以语义网络的形式表示，融合和分析信息：走向“文学演算”？
3. Des intermediaires pour bien valoriser les CEE: VERS DAVANTAGE DE FIABILITE DES REALISATIONS EN 4~e PERIODE [J] . JULIANA CAVALCANTI RPF: Revue Pratique du Froid et du Conditionnement d'Air . 2018,第1062期

机译：储存eec的中间体：在4〜e期间实现更可靠的可靠性
4. Convertir des analyses syntaxiques en dépendances vers les relations fonctionnelles PASSAGE [C] . Patrick Paroubek, Munshi Asadullah, Anne Vilnat Conference on traitement automatique des langues naturelles et rencontres des etudiants chercheurs en informatique pour le traitement automatique des langues . 2013

机译：将解析的依赖关系转换为通过功能关系
5. Caracterisation semantique des differences entre des modeles CAO par transposition des contraintes geometriques explicites. [D] . Briere-Cote, Antoine. 2014

机译：通过显式几何约束的移位，对CAD模型之间的差异进行语义表征。
6. En route vers le changement : les infirmières en oncologie prennent les devants [O] . Tracy Truant 2018

机译：在变革之路上：肿瘤科护士带头
7. De la deixis vers la courtoisie verbale: le passage du «Je» égocentrique vers le duocentrique de l'interaction verbal [O] . Pérez García, Encarnación 2009

机译：从尊贵到言语礼貌：从以自我为中心的“我”到言语交往的双重中心
8. Traitement Logique de l'Integrete et de l'Organisation Semantique des Connaissances dans les Systemes de Gestion de Bases de Donnees (Logical Treatment of Knowledge Semantic Integrity and Organization in Data Base Management Syste [R] . Olivares, J. 1986

机译：Traitement Logique de l'Integrete et de l'Organization semantique des Connaiissances dans les systemes de Gestion de Bases de Donnees（Logical Treatment of Knowledge

Les chronogrammes: semantique et passage vers un modele intermediaire

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅