Internet of Things (IoT); IoTGolog; TaMoGolog; formal languages; mobile systems; task models;
机译:旨在评估人员资格特征的商业游戏场景的形式化描述
机译:数学建模和计算符号学:符号学概念形式化的方法论方法
机译:南部非洲天然产品贸易的正规化:生物贸易和生物勘探中的意外后果和政策模糊
机译:使用IoTGolog形式化IoT场景
机译:方案网络和方案管理的形式化。
机译:BiotoolsSchema:用于生物信息学软件描述的正式模式
机译:重新思考学习技术的学习设计:形式化的愿景,以实现基于模式的情景