Found 4 results
Filters: Author is Steffen, B [Clear All Filters]
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Lecture Notes in Computer Science.
.
2022. Towards Explainability in Machine Learning: The Formal Methods Way. IT Professional. 22:8-12.
.
2020. Simplicity as a Driver for Agile Innovation. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Analyzing ambient assisted living solutions: A research perspective. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017.