Publication
An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy
Related publications (30)
Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng
Dario Alejandro Gordillo Lopez
Wulfram Gerstner, Alireza Modirshanechi
Maria del Carmen Sandi Perez, Dogukan Hazar Ülgen, Thamyris Silva
Djalel Eddine Meskaldji, Laura Ioana Gui, Serafeim Loukas