Current Issue

Vol. 84 (2025): 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation / 2nd AISoLA - Doctoral Symposium, 2024
Published: 2025-11-24

Preface

Articles

View All Issues

Electronic Communications of the EASST (ISSN 1863-2122)

ECEASST is a peer-reviewed, scientific and open access journal established in 2006. 

For further information, see: 

Note: ECEASST is currently moving its home from Universitätsbibliothek TU Berlin to Berlin Universities Publishing (BerlinUP). Thank you for your patience while we sort out the hickups on the way...