( en | de | ru )

 

Disambiguierung von "Azzopardi, Shaun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Controlled Natural Language for Financial Services Compliance Checking.

, , und . CNL, Volume 304 von Frontiers in Artificial Intelligence and Applications, Seite 11-20. IOS Press, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shaun Gittens

Shaun Howell

Shaun Richard Presow

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Verification of Kotlin Coroutines., , , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 221-239. Springer, (2022)A Technique for Automata-based Verification with Residual Reasoning., , und . MODELSWARD, Seite 237-248. SCITEPRESS, (2020)Compliance Checking in the Open Payments Ecosystem., , , und . SEFM, Volume 9763 von Lecture Notes in Computer Science, Seite 337-343. Springer, (2016)R-CHECK: A Model Checker for Verifying Reconfigurable MAS., , und . AAMAS, Seite 1518-1520. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), (2022)Language support for verifying reconfigurable interacting systems., , , und . Int. J. Softw. Tools Technol. Transf., 25 (5): 765-784 (Dezember 2023)CLARVA: Model-based Residual Verification of Java Programs., , und . MODELSWARD, Seite 352-359. SCITEPRESS, (2020)Model Checking Reconfigurable Interacting Systems., , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 373-389. Springer, (2022)ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae., , , und . ATVA, Volume 14216 von Lecture Notes in Computer Science, Seite 276-287. Springer, (2023)A Model-Based Approach to Combining Static and Dynamic Verification Techniques., , und . ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 416-430. (2016)On Observing Contracts: Deontic Contracts Meet Smart Contracts., , und . JURIX, Volume 313 von Frontiers in Artificial Intelligence and Applications, Seite 21-30. IOS Press, (2018)