"Robot programming"@en . "Semantics"@en . "First programming language"@en . "Autonomous systems"@en . . "Temps r\u00E9el"@fr . <23504217X> . "Mohammed Foughali" . "Model transformation"@en . "Real-time"@en . . "Time Petri Nets"@en . . . "Software engineering"@en . "Validation and verification"@en . "Model checking"@en . "Model-driven engineering"@en . "Transition systems"@en . "Verification"@en . "Robotics"@en . "Integer linear programming"@en . "Foughali" . "05aa470b3774b33ad927d6628168d698" . "Formal methods"@en . "Informatique"@fr . . "Robotic Software"@en . "Urgency"@en . "Real-time systems"@en . "Timed automata"@en . "Compositional verification"@en . "Robotique"@fr . . . "Binary search"@en . . . "Mohammed" . "Runtime verification"@en . . "M\u00E9thode formelle"@fr . "Concurrency"@en . "Computer science"@en . "Formal Verification"@en . "Schedulability analysis"@en . "CS1 & CS2"@en . "Introductory programming"@en . . .