MATHEMATICAL LOGIC; MATHEMATICAL MODELS; SCALE (RATIO); UNITS OF MEASUREMENT; CALIBRATING; SCALING LAWS; THEOREMS; TRANSFORMATIONS (MATHEMATICS);
机译:正式的感官测量的模糊符号方法:舒适度传感器的应用
机译:愿意正式化:以津巴布韦非正式的微型和小型企业为例
机译:形式化以提高安全性:加纳的习惯性土地保有权形式化
机译:地理信息语义量表的转换机制及其形式化
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:关于整合生物学的多尺度和多科学过程的形式化
机译:计量表形式化
机译:测量量表形式的形式化