Dept. of Biomedical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB Eindhoven, The Netherlands;
机译:通过白盒,灰盒和黑匣子建模方法识别代谢途径中的助焊途径
机译:黑盒连续动态系统的PAC模型检查
机译:黑匣子概率可达性检查(扩展版)
机译:黑匣子检查生物化学网络
机译:黑,灰和白盒侧通道编程,用于软件完整性检查
机译:在生化网络分析中利用模型检查的现有建模工具概述
机译:黑盒连续动态系统的PAC模型检查