Login / Signup
An update on IEEE P1647: The e system verification language.
Victor Berman
Published in:
IEEE Des. Test Comput. (2005)
Keyphrases
</>
programming language
language learning
natural language
linguistic knowledge
formal verification
data sets
model checking
modeling language
learning algorithm
conceptual graphs
language processing
formal methods
signature verification
wireless lan
concurrent systems