Margaria, Tiziana
-
Volume 4: Graph and Model Transformation 2006 - Preface
Editorial
Details PDF -
Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 - Articles
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread
Abstract PDF -
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 - Articles
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain
Abstract PDF -
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 - Articles
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.