{"title":"Predicting computer behavior","authors":"D. Good","doi":"10.1109/CMPASS.1988.9640","DOIUrl":null,"url":null,"abstract":"The major scientific and mathematical problems that need to be solved to advance the state of digital-system engineering practice are identified. Mathematics for digital systems is discussed for describing system behavior, defining acceptable behavior, demonstrating acceptable behavior, and scaling up. Current and future digital system engineering on the basis of these foundations is examined.<<ETX>>","PeriodicalId":224212,"journal":{"name":"Computer Assurance, 1988. COMPASS '88","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Assurance, 1988. COMPASS '88","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1988.9640","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
The major scientific and mathematical problems that need to be solved to advance the state of digital-system engineering practice are identified. Mathematics for digital systems is discussed for describing system behavior, defining acceptable behavior, demonstrating acceptable behavior, and scaling up. Current and future digital system engineering on the basis of these foundations is examined.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
