Behaviour-based System; Behaviour Network; Behaviour Modelling; Behaviour Network Verification; Quantitative Aspects;
机译:定性分子网络中动态行为的验证,描述基因调控,信号传导和全细胞代谢
机译:包括传感器故障在内的行为网络的形式验证
机译:农村供水管网输水量的定量和经济分析。
机译:行为网络验证的定量方面
机译:在充满敌意的世界中找到积极的一面:多动症和破坏性行为儿童的社会信息处理,亲社会行为和攻击行为之间的关系。
机译:青少年之间的友谊网络体育活动和久坐行为方面的关联
机译:对定时自动机验证的贡献(自动机网络中的确定,定量验证和可达性)
机译:部署和健康行为的心理方面(aspects psychologiques de la projection operationnelle et comportements is la sante)。