A dual-engine for early analysis of critical systems.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann

Browse the full GI paper archive.