Bernhard Beckert - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Not registered as user yet

Name:Bernhard Beckert

Affiliation:Karlsruhe Institute of Technology

Personal website: http://formal.iti.kit.edu/beckert/

Contributions

2020

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Towards Classes of Architectural Dependability Assurance of Machine Learning Based Systems

FormaliSE

Relational Test Tables: A Practical Specification Language for Evolution and Security

Show activities from other conferences

ICSE 2020-profile
View general profile