AsmL (Abstract State Machine Language) ist eine formale Spezifikationssprache, die zur Modellierung und Analyse von Systemen verwendet wird. Sie basiert auf dem Konzept der abstrakten Zustandsmaschine... [mehr]
AsmL (Abstract State Machine Language) ist eine formale Spezifikationssprache, die zur Modellierung und Analyse von Systemen verwendet wird. Sie basiert auf dem Konzept der abstrakten Zustandsmaschine... [mehr]