×

定时对话

swMATH ID: 22153
软件作者: 鲁米亚娜·内科娃、劳拉·博奇、吉田信子
描述: Python中的定时对话API。多方对话的定时运行时监控。在[tMPST]中,我们提供了多方会话类型的实时扩展,用于在Python中验证和实施与时间相关的属性。此页面底部提供了原型实现。上下文和背景:(未定时)多方会话类型(MPST)已应用于现有的Python舞蹈会话验证框架中([1])。该框架使用Scribble嵌入OOI基础设施中,Scribble是MPST的实际化身,是全局协议的规范语言。
主页: 网址:http://www.doc.ic.ac.uk/~rn710/TimeApp.html
相关软件: SPY公司;LARVA公司;乱涂;奶牛;石溪;z3(零3);Uppaal公司
引用于: 1文件

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文