TitleModel-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges
Publication TypeConference Paper
Year of Publication2022
AuthorsChaudhary HAhmad Awai, Guevara I, John J, Singh A, Ghosal A, Pesch D, Margaria T
EditorMargaria T, Steffen B
Conference NameLeveraging Applications of Formal Methods, Verification and Validation. Practice
PublisherSpringer Nature Switzerland
Conference LocationCham
ISBN Number978-3-031-19762-8