Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study

von Bonfanti, Silvia
Veröffentlicht in International Conference on Health Informatics (14. : 2021 : Online) BIOSTEC 2021 ; Volume 5: HEALTHINF (2021)

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)

Tests and proofs : 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 2010 ; proceedings

Veröffentlicht 2010

Extending ASMETA with Time Features

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

Testing software and systems : 35th IFIP WG 6.1 international conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings

Veröffentlicht 2023

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

von Arcaini, Paolo
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Addressing Usability in a Formal Development Environment

von Arcaini, Paolo
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

Rigorous state-based methods : 10th international conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024 : proceedings

Veröffentlicht 2024