Modeling, Validation, and Verification of PCEP Using the IF Language.

Iksoon Hwang Mounir Lallali Ana R. Cavalli Dominique Verchère

Published in: FMOODS/FORTE (2009)

Keyphrases

modeling language
programming language
information systems
natural language
database
language learning
data mining
model checking
colored petri nets