Formal Specification - Automaton Specification
Cannot assign automaton specifications or code specifications to components in formal specifications.
(from redmine: issue id 944, created on 2012-08-01, closed on 2012-08-01)
Cannot assign automaton specifications or code specifications to components in formal specifications.
(from redmine: issue id 944, created on 2012-08-01, closed on 2012-08-01)