发布求助
文献互助 智能选刊 最新文献

REX Workshop最新文献

筛选
英文 中文
Logics and Models of Real Time: A Survey 实时的逻辑和模型:综述
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031988
R. Alur, T. Henzinger
{"title":"Logics and Models of Real Time: A Survey","authors":"R. Alur, T. Henzinger","doi":"10.1007/BFb0031988","DOIUrl":"https://doi.org/10.1007/BFb0031988","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129736645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 675
Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator 具有紧急相互作用的时间过程代数和唯一的强大二元算子
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031990
T. Bolognesi, F. Lucidi
{"title":"Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator","authors":"T. Bolognesi, F. Lucidi","doi":"10.1007/BFb0031990","DOIUrl":"https://doi.org/10.1007/BFb0031990","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122416139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 50
Verifying Automata Specifications of Probabilistic Real-time Systems 验证概率实时系统的自动机规范
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031986
R. Alur, C. Courcoubetis, D. Dill
{"title":"Verifying Automata Specifications of Probabilistic Real-time Systems","authors":"R. Alur, C. Courcoubetis, D. Dill","doi":"10.1007/BFb0031986","DOIUrl":"https://doi.org/10.1007/BFb0031986","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126723578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 68
Verification of Safety Critical Systems Using TTM/RTTL 使用TTM/RTTL验证安全关键系统
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032008
J. Ostroff
{"title":"Verification of Safety Critical Systems Using TTM/RTTL","authors":"J. Ostroff","doi":"10.1007/BFb0032008","DOIUrl":"https://doi.org/10.1007/BFb0032008","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121284100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Problems, Promises and Performance: Some Questions for Real-time System Specification 问题、承诺与性能:实时系统规范的几个问题
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031998
M. Joseph
{"title":"Problems, Promises and Performance: Some Questions for Real-time System Specification","authors":"M. Joseph","doi":"10.1007/BFb0031998","DOIUrl":"https://doi.org/10.1007/BFb0031998","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126775477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Semantics of Reactive Systems in Abstract Time 抽象时间下反应系统的语义
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031997
C. Huizing, R. Gerth
{"title":"Semantics of Reactive Systems in Abstract Time","authors":"C. Huizing, R. Gerth","doi":"10.1007/BFb0031997","DOIUrl":"https://doi.org/10.1007/BFb0031997","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126864190","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 46
(Real) Time: A Philosophical Perspective (实时)时间:哲学视角
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032000
R. Koymans
{"title":"(Real) Time: A Philosophical Perspective","authors":"R. Koymans","doi":"10.1007/BFb0032000","DOIUrl":"https://doi.org/10.1007/BFb0032000","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126926059","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Real-Time and the Mu-Calculus (Preliminary Report) Real-Time与Mu-Calculus(初报)
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031992
E. Allen Emerson
{"title":"Real-Time and the Mu-Calculus (Preliminary Report)","authors":"E. Allen Emerson","doi":"10.1007/BFb0031992","DOIUrl":"https://doi.org/10.1007/BFb0031992","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125233768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Specification and Analysis of Resource-Bound Real-Time Systems 资源绑定实时系统的规范与分析
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032001
R. Gerber, Insup Lee
{"title":"Specification and Analysis of Resource-Bound Real-Time Systems","authors":"R. Gerber, Insup Lee","doi":"10.1007/BFb0032001","DOIUrl":"https://doi.org/10.1007/BFb0032001","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131591733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Time in State Based Formal Description Techniques for Distributed Systems 基于状态时间的分布式系统形式化描述技术
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031991
J. Courtiat, M. Diaz
{"title":"Time in State Based Formal Description Techniques for Distributed Systems","authors":"J. Courtiat, M. Diaz","doi":"10.1007/BFb0031991","DOIUrl":"https://doi.org/10.1007/BFb0031991","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128726142","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信