Introducing Interval Differential Dynamic Logic

von Figueiredo, Daniel
Veröffentlicht in FSEN (9. : 2021 : Online) Fundamentals of Software Engineering (2021)

idDL2DL – Interval Syntax to dL

von Santos, Jaime
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

Reversal Fuzzy Switch Graphs

von Campos, Suene
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

Algorithms for computational biology : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017 : proceedings

Veröffentlicht 2017