Verifying a Time-Triggered Protocol in a Multi-language Environment.

Agathe Merceron Monika Müllerburg G. Michele Pinna

Published in: SAFECOMP (1998)

Keyphrases

mobile robot
programming environment
natural language
programming language
dynamic environments
complex environments
robotic agents
model checking
language processing
multi agent
digital libraries
virtual world
language learning
application layer