Login / Signup

Supporting Application Framework Selection Based on Labeled Transition Systems.

Teruyoshi ZenmyoTakashi KobayashiMotoshi Saeki
Published in: IEICE Trans. Inf. Syst. (2006)
Keyphrases
  • transition systems
  • knowledge base
  • model checking
  • temporal logic