Phillip Baraona

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Publications

Perry Alexander, Murali Rangarajan, Phillip Baraona
A Brief Summary of VSPEC. World Congress on Formal Methods (1999)
Phillip Baraona, Perry Alexander
Abstract Architecture Representation Using VSPEC. VLSI Design 1999 (2) (1999)
Phillip Baraona, Perry Alexander
Representing abstract architectures with axiomatic specifications and activation conditions. ECBS (1997)
John Penix, Phillip Baraona, Perry Alexander
Classification and Retrieval of Reusable Components Using Semantic Features. KBSE (1995)