A property specification pattern catalog for real-time system verification with UPPAAL

Information and Software Technology - Tập 154 - Trang 107100 - 2023
Thomas Vogel1, Marc Carwehl1, Genaína Nunes Rodrigues2, Lars Grunske1
1Institut für Informatik, Humboldt-Universität zu Berlin, Germany
2Department of Computer Science, University of Brasília, Brazil

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Information and Software Technology

Tập 154

107100

Thông tin tác giả