Login / Signup

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.

Mark A. ArdisJohn A. ChavesLalita Jategaonkar JagadeesanPeter MatagaCarlos PucholMark G. StaskauskasJames Von Olnhausen
Published in: ICSE (1995)
Keyphrases
  • reactive systems
  • preprocessing
  • significant improvement
  • machine learning
  • information systems
  • process model