RoboCert: Property Specification for Robotics using Sequence Diagrams

Research output: Contribution to conference › Poster

Original language	English
Publication status	Published - 11 Oct 2022
Event	YorRobots and RoboStar Industry Exhibition - University of York, York Duration: 11 Oct 2022 → 12 Oct 2022

Conference	YorRobots and RoboStar Industry Exhibition
City	York
Period	11/10/22 → 12/10/22

Access to Document

@conference{e1b102f1141a480f965a917bde80595a,

title = "RoboCert: Property Specification for Robotics using Sequence Diagrams",

author = "Matthew Windsor and Cavalcanti, {Ana Lucia Caneca}",

year = "2022",

month = oct,

day = "11",

language = "English",

note = "YorRobots and RoboStar Industry Exhibition ; Conference date: 11-10-2022 Through 12-10-2022",

}