LTSA-MSC公司 swMATH ID: 2369 软件作者： 塞巴斯蒂安·乌奇特尔；罗伯特·查特利（Robert Chatley）；Jeff Kramer；杰夫·马吉 说明： LTSA-MSC：使用隐含场景的行为模型细化工具支持。我们提供了一种工具，通过提供场景编辑、行为模型合成和隐含场景的模型检查，支持行为模型和基于场景的规范的细化。 主页： 网址：http://www.doc.ic.ac.uk/~rbc/software/ltsa-msc-tutorial.html 相关软件： 装饰 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 LTSA-MSC：使用隐含场景的行为模型细化工具支持。 兹比尔1031.68550塞巴斯蒂安·乌奇特尔;罗伯特·查特利;杰夫·克莱默;杰夫·马吉 2003 4位作者引用 1 罗伯特·查特利 1 杰夫·克莱默 1 杰夫·马吉 1 塞巴斯蒂安·乌奇特尔 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文