iQST

Produkte


Derzeit bieten wir unseren Kunden folgende Produkte an:

π-Tool
  • Formale Modellierung mit hierarchischen Petrinetzen
  • Fehlersuchetechniken: Animation
  • Erreichbarkeitsanalyse
  • Modellierung stochastischer Systeme
  • Markov-Ketten
  • Monte-Carlo-Simulation