Login / Signup

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.

Étienne AndréMasaki WagaNatsuki UrabeIchiro Hasuo
Published in: NFM (2022)
Keyphrases
  • signal processing
  • high level
  • petri net
  • information systems
  • web services
  • human behavior
  • finite state machines
  • spectral analysis
  • genetic algorithm
  • multiscale
  • complex systems
  • blind source separation
  • audio signals