WG211/M13Taha: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

1 March 2014

  • curprev 19:0819:08, 1 March 2014 Ups talk contribs 427 bytes +427 Created page with "''Binding Time Analysis in Acumen'' by Walid Taha Acumen is a language for modeling hybrid continuous/discrete dynamics. Binding Time Analysis is used in Acumen to enable the d..."