Performance Model Checking Scenario-Aware Dataflow. (2011)

by B D Theelen
Venue:FORMATS, LNCS 6919,