ABS: Abstract Behavioral Specification

ABS is a concurrent, object-oriented, modeling language that features functional data-types used in the Envisage project

Published May 27, 2013 12:56 PM - Last modified Feb. 7, 2020 3:58 PM