The Decline of Print
- 期刊名称The Acquisitions Librarian
- 作者Rosati, Karen Thompson
- 卷第18卷
- 印刷ISSN0896-3576
- 电子ISSN1544-435X
- 文件大小615.65KB
- 发表时间2005-09-12
- DOI10.1300/J101v18n35_08
- 页码107-117
Model checking as support for inspecting compliance to rules in flexible processesLetia, Ioan Alfred; Goron, Anca · Journal of Visual Languages & Computing · 2015
Assuring Safety in Air Traffic Control Systems with Argumentation and Model CheckingGómez, Sergio Alejandro; Goron, Anca; Groza, Adrian; Letia, Ioan Alfred · Expert Systems with Applications · 2015
[IEEE 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Cluj, Romania (2012.08.30-2012.09.1)] 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing - Checking the norms for explanationLetia, Ioan Alfred; Goron, Anca · 2012
[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Embedding value-based argumentation in persuasive dialogsLetia, Ioan Alfred; Goron, Anca · 2011
[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - A temporal view on Model Checking Hybrid LogicsLetia, Ioan Alfred; Goron, Anca · 2014
[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - An Argumentation Approach to Incompletely Specified Software ServicesLetia, Ioan Alfred; Goron, Anca · 2010
[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Handling incompletely specified contracts by ArgumentationLetia, Ioan Alfred; Goron, Anca · 2010