Advances in Model and Data Engineering in the Digitalization Era Advances in Model and Data Engineering in the Digitalization Era
2021
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007