Login / Signup
PSL for Runtime Verification: Theory and Practice.
Cindy Eisner
Published in:
RV (2007)
Keyphrases
</>
model checking
theoretical insights
theoretical basis
real world
computational model
theoretical framework
search engine
information technology
evolutionary algorithm
information theory
formal methods
english text
theoretical frameworks