„parameterized system“

Suchergebnisse

245 Treffer

• Parameterized IFS with the Asymptotic Average Shadowing Property
  Fatehi Nia, Mehdi
• Parameterized Complexity of Sparse Linear Complementarity Problems
  Sumita, Hanna ; Kakimura, Naonori ; Makino, Kazuhisa
• A unified view of parameterized verification of abstract models of broadcast communication
  Delzanno, Giorgio
• Parameterized model checking for security policy analysis
  Ranise, Silvio ; Truong, Anh ; Traverso, Riccardo
• Parameterized verification through view abstraction
  Abdulla, Parosh ; Haziza, Frédéric ; Holík, Lukáš