...
机译:ScenarioTools-用于基于情景的反应系统建模和分析的工具套件
Leibniz Universitaet Hannover, Germany;
Leibniz Universitaet Hannover, Germany;
Leibniz Universitaet Hannover, Germany;
Leibniz Universitaet Hannover, Germany;
Leibniz Universitaet Hannover, Germany;
Weizmann Institute of Science, Israel;
Stanford University, USA;
Reactive systems; Dynamic system structure; Scenarios; Realizability; Controller synthesis;
机译:在信息系统中使用用例建模进行基于威胁场景的安全风险分析
机译:ABS工具套件:建模,执行和分析分布式自适应对象系统
机译:中国水电的可持续发展途径:基于跨学科定性分析与情景的系统动力学定量造型
机译:支持基于模型的系统工具的工具套件,支持基于系统工程的系统分析
机译:基于方案的实时反应系统的需求分析建模和设计评估。
机译:modEnrichr:一套用于模型生物的基因集富集分析工具
机译:从基于场景的规范模型开发反应系统模型