A Machine-Checked Proof for a Translation of Event-B Machines to JML.
Néstor CatañoCamilo RuedaTim WahlsPublished in: CoRR (2013)
Keyphrases
- flowshop
- learning machines
- scheduling problem
- parallel machines
- cell formation
- identical machines
- intelligent machines
- event detection
- cross language information retrieval
- manufacturing cell
- event driven
- theorem proving
- news articles
- news stories
- learning algorithm
- machine translation
- event sequences
- complex events
- processing times
- proof theory
- video event