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