Runtime verification of LTL-based declarative process models

F.M. Maggi, M. Westergaard, M. Montali, W.M.P. Aalst, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

68 Citaten (Scopus)
2 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Runtime verification of LTL-based declarative process models'. Samen vormen ze een unieke vingerafdruk.

Computer Science