Josef Niederle is an author at Masaryk University specializing in discrete mathematics, engineering, and formal verification.
Top concepts
Discrete MathematicsEngineeringVerificationFormal MethodsComputer ScienceFormal VerificationFault Tolerant Control
Publications per year
1976–2008
3
3
Rows per page
1–3 of 3