×

LTSA-MSC公司

swMATH标识: 2369
软件作者: 乌希特尔,塞巴斯蒂安;查特利,罗伯特;克莱默,杰夫;马吉,杰夫
说明: LTSA-MSC:使用隐含场景对行为模型精化的工具支持。我们提供了一个工具,它通过提供场景编辑、行为模型合成和隐含场景的模型检查来支持行为模型和基于场景的规范的细化。
主页: http://www.doc.ic.ac.uk/~rbc/software/ltsa-msc-tutorial.html
相关软件: 修剪
参考文献: 1个出版物

在0序列中引用

在1个字段中引用

1 计算机科学(68-XX)

按年份引用出版物