Howard Barringer

Howard Barringer

3 ספרים במאגר

ספרים

Advances in Temporal LogicHoward Barringer

Advances in Temporal Logic

Howard Barringer · 2013

Runtime VerificationHoward Barringer

Runtime Verification

Howard Barringer · 2010

Temporal Logic in SpecificationHoward Barringer

Temporal Logic in Specification

Howard Barringer · 2007