机译:使用正式的过程描述,以过程为导向的仪器工作,安全性和质量
机译:流程文档编辑器:用于形式化流程描述的工具
机译:不同领域中一致的过程视图-使用正式过程描述的方法和工具
机译:开放,基于Web的工具,用于信息建模,具有正式的过程描述
机译:一种验证GIA模型的方法,使用海平数据与哈德逊湾和SW Fennoscandia =一种使用海洋语音数据在哈德逊湾和SW Fennoscandia的应用程序验证GIA模型的方法
机译:S3指南的附录克罗恩和结肠炎Ulcerosa:对Covid慢性易燃肠病患者的监督19大流行 - 公开问题和答案
机译:“开放式协调方法”的初步经验:关于扩大的欧盟中养老金的“财政可持续性”和“充足性”的开放性问题