{"title":"Testing by Executing Logic Specifications","authors":"M. Felder, P. S. Pietro","doi":"10.1007/978-3-642-88049-0_105","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_105","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"58 1","pages":"683-684"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78548378","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":"Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision","authors":"M. F. Carlsohn","doi":"10.1007/978-3-642-88049-0_99","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_99","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"105 1","pages":"674-675"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80708855","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":"What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?","authors":"J. Mcdermid","doi":"10.1007/978-3-642-88049-0_68","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_68","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"20 1","pages":"612-615"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84638302","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":"Real-Time Rule Based Control of Robot Motion","authors":"M. K. Ciliz","doi":"10.1007/978-3-642-88049-0_102","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_102","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"1 1","pages":"680"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90559078","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 Integration Architectures for Systems Development","authors":"W. Rossak","doi":"10.1007/978-3-642-88049-0_85","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_85","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"12 1","pages":"647-648"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90186619","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":"What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?","authors":"C. Heitmeyer","doi":"10.1007/978-3-642-88049-0_66","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_66","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"78 1","pages":"608-609"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83395969","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 Generic Systems Integration Framework for Large and Time-Critical Systems","authors":"W. Rossak, L. Welch, T. Zemel, Johann Eder","doi":"10.1007/978-3-642-88049-0_44","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_44","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"63 1","pages":"547-562"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76522179","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":"Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs","authors":"H. Rzehak","doi":"10.1007/978-3-642-88049-0_4","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_4","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"190 1","pages":"47-63"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75524202","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":"VOTRICS: A Highly Predictable Fault Tolerant System Architecture","authors":"B. Appel","doi":"10.1007/978-3-642-88049-0_77","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_77","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"239 1","pages":"630-631"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76125281","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":"System Level Real Time Distributed Diagnosis","authors":"C. Sêrro","doi":"10.1007/978-3-642-88049-0_118","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_118","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"1 1","pages":"719"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78804957","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}