Norbert Fristacky

Publication Activity (10 Years)

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

Publications

Martin Kardos, Norbert Fristacky
Functional Verification for UML-Based Model Driven Design of Embedded Systems. IESS (2005)
Jozef Dujnic, Norbert Fristacky, Ludovít Molnár, Ivan Plander, Branislav Rovan
On the history of computer science, computer engineering, and computer technology development in Slovakia. IEEE Ann. Hist. Comput. 21 (3) (1999)
Tibor Bartos, Norbert Fristacky
Verifying Timing Consistency in Formal Specifications. IEEE Des. Test Comput. 13 (1) (1996)
Tibor Bartos, Norbert Fristacky
Formal Verification of Timing Rules in Design Specifications. FPL (1994)
Viktor Cingel, Norbert Fristacky
A Temporal Logic-Based Model of Event-Driven Nets. Real Time Syst. 3 (4) (1991)