Publications

Export 12 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is O  [Clear All Filters]
A B C D E F G H I J K L M N [O] P Q R S T U V W X Y Z   [Show ALL]
A
[1058] Olcoz, S, Colom JM.  1993.  Analysis Tools Applied to VHDL. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):597-604.
C
[1074] Olcoz, S, Colom JM.  1995.  A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.
F
[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.
O
P
T
[State-of-the-art-93] Balbo, G, Silva M, Chiola G, Campos J, others.  1993.  The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
[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.
V
[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.