PERKUSICH, A.; http://lattes.cnpq.br/9439858291700830; PERKUSICH, Angelo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 1994-08-23)
When specifying, designing and analyzing complex systems, it is necessary to adopt a
modular or compositional methodology. This methodology shall allow the designer the
ability to verify local properties of individual ...