Nemes Teréz; Dávid Ákos; Süle Zoltán: Decision-support system to maximize the robustness of computer network topologies.
Dávid Ákos; Pozsgai Tamás; Kozma László: Extending a system with verified components : [abstract].