Revisiting Compatibility of Input-Output Modal Transition Systems.

Ivo Krka, Nicols D'Ippolito, Nenad Medvidovic, Sebastin Uchitel

Browse the full FM paper archive.