Pub Date : 2017-10-13DOI: 10.1007/978-3-030-01461-2_8
Shusen Liu, Xin Wang, Li Zhou, J. Guan, Yinan Li, Yang He, R. Duan, M. Ying
{"title":"Q|SI〉: A Quantum Programming Environment","authors":"Shusen Liu, Xin Wang, Li Zhou, J. Guan, Yinan Li, Yang He, R. Duan, M. Ying","doi":"10.1007/978-3-030-01461-2_8","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_8","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134436336","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_2
Cliff B. Jones
{"title":"Concurrency: Handling Interference Formally","authors":"Cliff B. Jones","doi":"10.1007/978-3-030-01461-2_2","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_2","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116666025","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_11
E. Olderog
{"title":"Space for Traffic Manoeuvres: An Overview","authors":"E. Olderog","doi":"10.1007/978-3-030-01461-2_11","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_11","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126944434","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_7
Xinxin Liu, Wenhui Zhang
{"title":"Characterization and Verification of Stuttering Equivalence","authors":"Xinxin Liu, Wenhui Zhang","doi":"10.1007/978-3-030-01461-2_7","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_7","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126046200","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_3
Lingtai Wang, N. Zhan
{"title":"Decidability of the Initial-State Opacity of Real-Time Automata","authors":"Lingtai Wang, N. Zhan","doi":"10.1007/978-3-030-01461-2_3","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_3","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132127016","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_5
Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li
{"title":"HAT: Analyzing Linear Hybrid Automata as Labelled Transition System","authors":"Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li","doi":"10.1007/978-3-030-01461-2_5","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_5","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114674451","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_13
Xueguang Wu, Liqian Chen, Ji Wang
{"title":"Analyzing Interrupt Handlers via Interprocedural Summaries","authors":"Xueguang Wu, Liqian Chen, Ji Wang","doi":"10.1007/978-3-030-01461-2_13","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_13","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130332631","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_9
M. Fränzle, P. Kröger
{"title":"The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology","authors":"M. Fränzle, P. Kröger","doi":"10.1007/978-3-030-01461-2_9","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_9","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115024344","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-01461-2_4
D. Bjørner
{"title":"Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China","authors":"D. Bjørner","doi":"10.1007/978-3-030-01461-2_4","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_4","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133508363","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：