FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.

Jean-Paul Bodeveix Mamoun Filali

Published in: TACAS (2000)

Keyphrases

management system
intelligent systems
expert systems
complex systems
software tools
data sets
genetic algorithm
multimedia
website
high level
search algorithm
evolutionary algorithm
wireless sensor networks
computing systems