Event analytics

The process analysis toolkit (PAT) integrates the expressiveness of state, event, time, and probability-based languages with the power of model checking. PAT is a self-contained reasoning system for system specification, simulation, and verification. PAT currently supports a wide range of 12 differe...

Full description

Saved in:

Bibliographic Details
Main Authors:	DONG, Jin Song, SUN, Jun, LIU, Yang, LI, Yuan-Fang
Format:	text
Language:	English
Published:	Institutional Knowledge at Singapore Management University 2014
Subjects:	Model Check Service Composition Smart City Deterministic Finite Automaton Event Trace Programming Languages and Compilers Software Engineering
Online Access:	https://ink.library.smu.edu.sg/sis_research/4991 https://ink.library.smu.edu.sg/context/sis_research/article/5994/viewcontent/Event_Analytics.pdf
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Singapore Management University
Language:	English

Be the first to leave a comment!

Event analytics

Similar Items