Gabor Hahn

According to our database, Gabor Hahn authored at least 3 papers in 2003.

Collaborative distances:

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

2003

Prototype-Based Tests for Hybrid Reactive Systems.

Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

MoDe: A Method for System-Level Architecture Evaluation.

Jan Romberg, Oscar Slotosch, Gabor Hahn

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

AutoFOCUS and the MoDe Tool.

Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003