Event analytics

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

Internet

https://ink.library.smu.edu.sg/sis_research/4991
https://ink.library.smu.edu.sg/context/sis_research/article/5994/viewcontent/Event_Analytics.pdf

Similar Items