From Informal Requirements to COOP: A Concurrent Automata Approach.

Pascal Poizat Christine Choppy Jean-Claude Royer

Published in: World Congress on Formal Methods (1999)

Keyphrases

cellular automata
finite automata
application specific
tree automata
finite state
regular expressions
data model
informal learning
user requirements
real time
data structure
multiscale
image sequences
social networks
search engine
artificial intelligence
real world
databases