Pub Date : 2004-05-24DOI: 10.1007/978-3-540-24773-9_13
Stanislas Nanchen, R. Stärk
{"title":"A Security Logic for Abstract State Machines","authors":"Stanislas Nanchen, R. Stärk","doi":"10.1007/978-3-540-24773-9_13","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_13","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131206168","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_2
H. Hanisch
{"title":"Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering","authors":"H. Hanisch","doi":"10.1007/978-3-540-24773-9_2","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_2","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"223 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133772330","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_9
E. Riccobene, P. Scandurra
{"title":"Towards an Interchange Language for ASMs","authors":"E. Riccobene, P. Scandurra","doi":"10.1007/978-3-540-24773-9_9","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_9","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128482107","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_10
Nicu G. Fruja
{"title":"Specification and Implementation Problems for C#","authors":"Nicu G. Fruja","doi":"10.1007/978-3-540-24773-9_10","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_10","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124343046","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_8
Michael Fisher, A. Lisitsa
{"title":"Monodic ASMs and Temporal Verification","authors":"Michael Fisher, A. Lisitsa","doi":"10.1007/978-3-540-24773-9_8","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_8","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123343663","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_7
Roozbeh Farahbod, U. Glässer, M. Vajihollahi
{"title":"Specification and Validation of the Business Process Execution Language for Web Services","authors":"Roozbeh Farahbod, U. Glässer, M. Vajihollahi","doi":"10.1007/978-3-540-24773-9_7","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_7","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129430160","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_3
H. Langmaack
{"title":"An ALGOL-View on Turbo ASM","authors":"H. Langmaack","doi":"10.1007/978-3-540-24773-9_3","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_3","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121201967","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_5
J. V. D. Bussche
{"title":"Finite Cursor Machines in Database Query Processing","authors":"J. V. D. Bussche","doi":"10.1007/978-3-540-24773-9_5","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_5","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115767902","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 : 2004-05-24DOI: 10.1007/978-3-540-24773-9_6
Alessandra Cavarra, J. Bowles
{"title":"Formalizing Liveness-Enriched Sequence Diagrams Using ASMs","authors":"Alessandra Cavarra, J. Bowles","doi":"10.1007/978-3-540-24773-9_6","DOIUrl":"https://doi.org/10.1007/978-3-540-24773-9_6","url":null,"abstract":"","PeriodicalId":136402,"journal":{"name":"Abstract State Machines","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123988084","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
扫码关注我们
求助内容：
应助结果提醒方式：