Login / Signup
Marek Gondzio
Publication Activity (10 Years)
Years Active: 1987-1990
Publications (10 Years): 0
</>
Publications
</>
Marek Gondzio
A Concept of Defining Semantics of Concurrent Microprograms.
Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme
(1990)
Marek Gondzio
Verification oriented approach to concurrent microprogramming with the language C-MIDDLE.
Microprocessing and Microprogramming
27 (1-5) (1989)
Marek Gondzio
Microprocessor Debugging Techniques and Their Application in Debugger Design.
Softw. Pract. Exp.
17 (3) (1987)