Author/Creator: Letia, Ioan Alfred - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Letia, Ioan Alfred

1. Assuring safety in air traffic control systems with argumentation and model checking. (February 2016)

Authors:: Gómez, Sergio Alejandro; Goron, Anca; Groza, Adrian; Letia, Ioan Alfred
Journal:: Expert systems with applications
Issue:: Volume 44(2016)
Page Start:: 367
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Model checking as support for inspecting compliance to rules in flexible processes. (June 2015)

Authors:: Letia, Ioan Alfred; Goron, Anca
Journal:: Journal of visual languages & computing
Issue:: Volume 28(2015)
Page Start:: 100
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗