Model checking for input/output properties of a black-box model

Walter Dosch, Pornsiri Muenchaisri, Wuttipong Ruanthong, Annette Stümpel

Fingerprint

Dive into the research topics of 'Model checking for input/output properties of a black-box model'. Together they form a unique fingerprint.

Engineering

Computer Science