Requirements modelling by synthesis of deontic input-output automata
Requirements modelling by synthesis of deontic input-output automata
复制标题
通过综合道义输入输出自动机进行需求建模
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Emmanuel Letier (Co-Author)
中科院分区：
文献类型：
--
作者：
Emmanuel Letier (Co-Author)
登录
查看更多内容
影响因子：
0.7
作者：
Tom Maibaum
通讯作者：
Tom Maibaum
DOI：
10.1109/icse.2009.5070527
发表时间：
2009-05
期刊：
2009 IEEE 31st International Conference on Software Engineering
影响因子：
--
作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
通讯作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
具有部分可观测性的定时控制
影响因子：
5.2
作者：
P. Bouyer;D. D'Souza;Madhusudan Parthasarathy;A. Petit
通讯作者：
A. Petit
DOI：
--
发表时间：
1987
期刊：
TOPL
影响因子：
--
作者：
M. Feather
通讯作者：
M. Feather
基于离散时间事件的模型的流畅时序逻辑
DOI：
--
发表时间：
2005
期刊：
ESEC/FSE-13
影响因子：
--
作者：
Emmanuel Letier;J. Kramer;J. Magee;Sebastián Uchitel
通讯作者：
Sebastián Uchitel