A framework and patterns for the specification of reactive systems

By Barroca, L.; Henriques, P.

Information and Software Technology

1998

Abstract

No abstract available.

Google Scholar: