MTSA: The Modal Transition System Analyser.

Nicolás D'Ippolito Dario Fischbein Marsha Chechik Sebastián Uchitel

Published in: ASE (2008)

Keyphrases

modal logic
case study
expert systems
evolutionary algorithm
software engineering