1996 | ||
---|---|---|
3 | EE | Tibor Bartos, Norbert Fristacky: Verifying Timing Consistency in Formal Specifications. IEEE Design & Test of Computers 13(1): 8-15 (1996) |
1994 | ||
2 | Tibor Bartos, Norbert Fristacky: Formal Verification of Timing Rules in Design Specifications. FPL 1994: 117-119 | |
1991 | ||
1 | Viktor Cingel, Norbert Fristacky: A Temporal Logic-Based Model of Event-Driven Nets. Real-Time Systems 3(4): 407-428 (1991) |
1 | Tibor Bartos | [2] [3] |
2 | Viktor Cingel | [1] |