首页> 外文OA文献 >Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study

【2h】

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study

机译：事件驱动B中的全局和通信状态机模型：简单的铁路案例研究

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Antonis Papatsaras; Bill Stoddart;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. APS -APS March Meeting 2017 - Event - Predictive Modeling for Strongly Correlated f-electron Systems: A first-principles and database driven machine learning approach [J] . Towfiq Ahmed, Adnan Khair, Mueen Abdullah, Bulletin of the American Physical Society . 2017,第4期

机译：APS -APS 2017年3月会议-活动-强相关f电子系统的预测建模：第一原理和数据库驱动的机器学习方法
2. Analytical models to predict the performance of a single-machine system under periodic and event-driven rescheduling strategies [J] . Guilherme E.Vieira, Jeffrey W. Herrmann, Edward Lin 20f International Journal of Production Research . 2000,第8期

机译：在周期性和事件驱动的重新调度策略下预测单机系统性能的分析模型
3. Evaluating and Quantifying the Climate-Driven Interannual Variability in Global Inventory Modeling and Mapping Studies (GIMMS) Normalized Difference Vegetation Index (NDVI3g) at Global Scales [J] . Alvaro Ivanoff, Fan-Wei Zeng, G. James Collatz, Remote Sensing . 2013,第8期

机译：在全球范围内对气候驱动的年际变化进行评估和量化，在全球清单建模和制图研究（GIMMS）中归一化植被指数（NDVI3g）
4. Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study [C] . Antonis Papatsaras, Bill Stoddart 2nd International Conference of B and Z Users, Jan 23-25, 2002, Grenoble, France . 2002

机译：事件驱动的B中的全局和通信状态机模型：简单的铁路案例研究
5. Motivation for Substance Use, Venue of Sexual Encounter, and Sexual Risk Behavior among Men who Have Sex with Men (MSM) in the Multicenter AIDS Cohort Study (MACS): Factor Analysis, and Global vs. Event-Level Generalized Linear Mixed Model (GLMM) Assessment Approach. [D] . Burrell, Earl Ryan. 2014

机译：多中心艾滋病队列研究（MACS）中男男性接触者的物质使用动机，性遭遇场所和性风险行为：因素分析以及全球性与事件级广义线性混合模型（GLMM））评估方法。
6. Machine-Learning vs. Expert-Opinion Driven Logistic Regression Modelling for Predicting 30-Day Unplanned Rehospitalisation in Preterm Babies: A Prospective Population-Based Study (EPIPAGE 2) [O] . Robert A. Reed, Andrei S. Morgan, Jennifer Zeitlin, 2020

机译：机器学习与专业意见驱动的逻辑回归建模预测早产婴儿30天计划的再生研究：一项前瞻性基于人群的研究（截图2）
7. Global and communicating state machine models in event driven B: a simple railway case studyud [O] . Stoddart W. J. (Bill), Papatsaras A. (Antonis) 2002

机译：事件驱动的B中的全局和通信状态机模型：一个简单的铁路案例研究 ud

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study

著录项

引文网络

相似文献

相关主题

期刊订阅