Developing A New Language to Construct Algebraic Hierarchies for Event-B.

James Snook Michael J. Butler Thai Son Hoang

Published in: SETTA (2018)

Keyphrases

natural language
programming language
event detection
algebraic expressions
machine learning
artificial intelligence
news articles
language processing
event recognition
english language
description logics
conceptual graphs
event driven