Automatic Test Generation with ASMETA for the Mechanical Ventilator 3 Milano Controller

von Bombarda, Andrea
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)

Extending ASMETA with Time Features

von Bombarda, Andrea
Veröffentlicht in ABZ (Veranstaltung : 8. : 2021 : Online) Rigorous State-Based Methods (2021)