Bernhard Beckert - MSR 2020

Mon 29 - Tue 30 June 2020

co-located with ICSE 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