Viktor Cingel

Publication Activity (10 Years)

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

Publications

Viktor Cingel, P. Fric
An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework. Comput. Artif. Intell. 14 (2) (1995)
Viktor Cingel
A Graph-Based Method for Timing Diagrams Representation and Verification. CHARME (1993)
Viktor Cingel, Norbert Fristacky
A Temporal Logic-Based Model of Event-Driven Nets. Real Time Syst. 3 (4) (1991)