你好,莫德

HI-maude工具。在复杂的混杂系统中,不同的元件可能会影响彼此的连续行为。HI-Maude是一个基于重写逻辑的工具,它支持面向对象的建模方法,在这种交互混合系统中,它足以指定单个(物理组件和物理交互)对象的连续动态。HI-Maude支持基于Euler和Runga-Kutta方法的一系列数值逼近的模拟和模型检验。

zbMATH中的参考文献(引用于,1标准件)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. MartíOliet,Narciso;_lveczky,Peter Csaba;Talcott,Carolyn:JoséMeseguer:杰出的科学家和朋友(2015)
  2. 法德利西亚,穆罕默德;厄尔维茨基,彼得·卡萨巴:《HI-maude工具》(2013)ioport公司
  3. Fadlisyah,Muhammad;_lveczky,Peter Csaba;Ábrahám,Erika:HI-Maude人体暴露在极端高温下的正式建模和分析(2012)ioport公司
  4. Fadlisyah,Muhammad;_lveczky,Peter Csaba;Ábrahám,Erika:HI-Maude中交互混合系统的面向对象形式化建模与分析(2011)ioport公司