|
Author: Peter Gorm Larsen and Marcel Verhoef
The counter measures example was developed by Peter Gorm Larsen and Marcel
Verhoef in 2007 in different dialect of VDM. This one is the most abstract
version using VDM-SL.
Language Version: vdm10
Entry point : DEFAULT`CounterMeasures(testval1)
Entry point : DEFAULT`CounterMeasures(testval2)
Entry point : DEFAULT`CounterMeasures(testval3)
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
