Person

Dr. N. Goga

Pagina-navigatie:

Update Persondata

Export page

Digital Author ID	info:eu-repo/dai/nl/255126018

Publications

(the most recent at the top)
TTCN-3 Testing of Hoorn-Keersenboogerd Railway Interlocking
Non-local choice and beyond: Intricacies of MSC choice nodes
Dealing with non-local choice in IEEE 1073.2's standard for remote control
Bit boundary testing coverage
Formal methods impact on ANSI standard HL7/IM: filling gaps in MSC theory

All publications..

(the most recent research is at the top)
Researcher	Parallelization of novel algorithms in Gromacs

(the most recent research is at the top)
Researcher	Improving the quality of protocol standards