征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshop series is to discuss the explicit use of time and probability and general quantities either directly in the model or as a tool for the analysis of systems. Herbert Wiklicky (Imperial College London, UK) Dates: Saturday March 23th, 2013 and Sunday March 24th, 2013
征稿信息
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    03月23日

    2013

    03月24日

    2013

  • 03月24日 2013

    注册截止日期

主办单位
Sapienza - Universita di Roma
联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询