Distortion and Faults in Machine Learning Software

von Nakajima, Shin
Veröffentlicht in SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method (2020)

Software Testing with Statistical Partial Oracles: - Application to Neural Networks Software

von Nakajima, Shin
Veröffentlicht in SOFL+MSVL (10. : 2020 : Online) Structured Object-Oriented Formal Language and Method (2021)

A Map of Asynchronous Communication Models

von Chevrou, Florent
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)