Export 12 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is O  [Clear All Filters]
Book Chapter
[1064] Olcoz, S, Colom JM.  1993.  A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
Conference Paper
[1062] Olcoz, S, Colom JM.  1993.  A Framework for Automated Static Analysis of VHDL. First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93). :71-75.
[PIPRM-97] Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J.  1997.  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
[1029] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
[1030] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
[1059] Olcoz, S, Colom JM.  1993.  Toward a Formal Semantics of IEEE Std. VHDL 1076. Euro-DAC’93 European Design Automation Conference with Euro-VHDL'93. :526-531.
[1051] Olcoz, S, Colom JM.  1993.  VHDL Through the Looking Glass. VHDL-Forum for CAD in Europe. :58-68.
[1068] Olcoz, S, Colom JM.  1994.  VHDL: A Discrete Event Simulation Hardware Description Language. 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94). :128-134.
Conference Proceedings
Journal Article
[1058] Olcoz, S, Colom JM.  1993.  Analysis Tools Applied to VHDL. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):597-604.
[1074] Olcoz, S, Colom JM.  1995.  A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.