Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 - Andreas Baader - Document - PDFSEARCH.IO

First Page	Meta Content
	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Document Date: 2009-07-15 21:37:58 Open Document File Size: 224,06 KB Share Result on Facebook Company BT / / / Facility The Australian National University / / IndustryTerm runtime verification device / / Organization Australian National University / / Position model I / / ProvinceOrState Gφ / / URL http / SocialTag Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic

Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2Add to Reading List