{"title":"The Methodology of Modal Constraints","authors":"K. Larsen, B. Steffen, Carsten Weise","doi":"10.1007/BFb0024437","DOIUrl":"https://doi.org/10.1007/BFb0024437","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"32 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":"121268838","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}
{"title":"Using PVS for an Assertional Verification of the RPC-Memory Specification Problem","authors":"J. Hooman","doi":"10.1007/BFb0024433","DOIUrl":"https://doi.org/10.1007/BFb0024433","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"16 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":"123685742","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}
{"title":"A Functional Solution to the RPC-Memory Specification Problem","authors":"M. Broy","doi":"10.1007/BFb0024430","DOIUrl":"https://doi.org/10.1007/BFb0024430","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"86 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":"133639835","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}
{"title":"Applying a Temporal Logic to the RPC-Memory Specification Problem","authors":"R. Gotzhein","doi":"10.1007/BFb0024432","DOIUrl":"https://doi.org/10.1007/BFb0024432","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"35 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":"128601464","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}
{"title":"A Solution Relying on the Model Checking of Boolean Transition Systems","authors":"Jorge Cuéllar, Dieter Barnard, M. Huber","doi":"10.1007/BFb0024431","DOIUrl":"https://doi.org/10.1007/BFb0024431","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"103 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":"116458112","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}
{"title":"Tackling the RPC-Memory Specification Problem with I/O Automata","authors":"J. Romijn","doi":"10.1007/BFb0024438","DOIUrl":"https://doi.org/10.1007/BFb0024438","url":null,"abstract":"","PeriodicalId":299839,"journal":{"name":"Formal Systems Specification","volume":"86 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":"121756522","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
扫码关注我们
求助内容：
应助结果提醒方式：