Analysis and testing of PLEXIL plans.

Jason Biatek Michael W. Whalen Mats Per Erik Heimdahl Sanjai Rayadurgam Michael R. Lowry

Published in: FormaliSE (2014)

Keyphrases

multiscale
metadata
multiresolution
quantitative analysis
search algorithm
data analysis
information technology
user interface
test cases