Norbert Fristacky

According to our database, Norbert Fristacky authored at least 5 papers between 1991 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Functional Verification for UML-Based Model Driven Design of Embedded Systems.

Martin Kardos, Norbert Fristacky

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

1999

On the history of computer science, computer engineering, and computer technology development in Slovakia.

Jozef Dujnic, Norbert Fristacky, Ludovít Molnár, Ivan Plander, Branislav Rovan

IEEE Ann. Hist. Comput., 1999

1996

Verifying Timing Consistency in Formal Specifications.

Tibor Bartos, Norbert Fristacky

IEEE Des. Test Comput., 1996

1994

Formal Verification of Timing Rules in Design Specifications.

Tibor Bartos, Norbert Fristacky

Proceedings of the Field-Programmable Logic, 1994

1991

A Temporal Logic-Based Model of Event-Driven Nets.

Viktor Cingel, Norbert Fristacky

Real Time Syst., 1991