Login / Signup

Using Squeeziness to test component-based systems defined as Finite State Machines.

Alfredo IbiasRobert M. HieronsManuel Núñez
Published in: Inf. Softw. Technol. (2019)
Keyphrases
  • finite state machines
  • model checking
  • expert systems
  • computer systems
  • hidden markov models
  • complex systems
  • neural network
  • knowledge base
  • knowledge based systems
  • building blocks
  • digital circuits
  • data sets