Compositional model analysis

Software & Systems Modeling - Tập 19 Số 2 - Trang 261-262 - 2020
Jeff Gray1, Bernhard Rumpe2
1University Of Alabama, Tuscaloosa, AL USA
2RWTH Aachen University, Aachen, Germany

Tóm tắt

Từ khóa


Tài liệu tham khảo

Dagstuhl Seminar on “Composing Model-Based Analysis Tools” https://www.dagstuhl.de/19481, organized by Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler, Nov. 2019

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

Software & Systems Modeling

Tập 19 Số 2

261-262

Thông tin tác giả