Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.

Rocco De Nicola Giulio Iacobelli Mirco Tribastone

Published in: FORTE (2014)

Keyphrases

concurrent systems
real time
databases
genetic algorithm
computer vision
web services
data analysis
statistical analysis
cost effective
computationally expensive
artificial intelligence
information systems
high level
petri net