This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems '/>
机译:解释工程计算系统的行为:抽象和理想化的作用
Department of History, Human Sciences, and Education, University of Sassari;
Department of Electrical Engineering and Information Technologies, University of Naples Federico II;
Philosophy of computer science; Miscomputation; Explanation; Abstraction; Idealization;
机译:软件系统形式验证中的抽象和理想化
机译:软件系统形式验证中的抽象和理想化
机译:改进了对公平性内线性时间属性的验证:根据迹线缩减计算出的弱连续闭合行为抽象
机译:多尺度观察弹性体,以解释X射线计算机断层扫描的力学行为和损伤机制
机译:将计算系统与大门集成:打破时钟抽象
机译:生物医学中的抽象和理想化:急性细胞损伤的非自治理论
机译:用模特解释:理想化的作用
机译:技术工作计划:近场环境:工程屏障系统:放射性核素运输抽象模型报告