Login / Signup
Translating Event-B machines to Eiffel programs.
Victor Rivera
JooYoung Lee
Manuel Mazzara
Leonard Johard
Published in:
CoRR (2017)
Keyphrases
</>
turing machine
event detection
news articles
event recognition
machine learning
computer programs
fixpoint
control structures
real time
search engine
flowshop
answer sets
learning machines
temporal structure