Sheridan, Oisin

1. FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
   2021/12/08 by Farrell, Marie, Luckcuck, Matt, Sheridan, Oisin +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)