Liveness Analysis for Parameterised Boolean Equation Systems.

Jeroen J. A. Keiren Wieger Wesselink Tim A. C. Willemse

Published in: ATVA (2014)

Keyphrases

computer systems
data analysis
image analysis
statistical analysis
real world
website
management system
numerical analysis
data sets
face recognition
probabilistic model
distributed systems
building blocks
real valued
boolean functions