Search results
Annals of Computer Science and Information Systems > 2022 > Vol. 32 > 331--338
Software & Systems Modeling > 2019 > 18 > 4 > 2421-2439
Automation in Construction > 2016 > 71 > P2 > 210-225
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 424-433
Lecture Notes in Computer Science > Models in Software Engineering > Challenges in Model Driven Software Engineering (CHAMDE) > 54-59
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Graph Transformation Tools > 587-592
Lecture Notes in Computer Science > Times of Convergence. Technologies Across Learning Contexts > 284-289
Lecture Notes in Computer Science > Model Driven Architecture - Foundations and Applications > Applications > 301-312
Journal of Systems and Software > 2016 > 113 > C > 140-172
Software & Systems Modeling > 2017 > 16 > 4 > 1201-1222
Business & Information Systems Engineering > 2016 > 58 > 5 > 341-353