AuthorsS. Ali and T. Yue
TitleModelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * Properties
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeTalks, invited
Year of Publication2015
Location of TalkEricsson, Sweden
Citation Key24678