Ferenc Belina is an author at Universität Hamburg specializing in software engineering, formal methods, and formal verification.
Top concepts
SemanticsEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationFormal SpecificationSoftware Engineering
Publications per year
1989–1989
2
2
The CCITT-Specification and Description Language SDL.
Ferenc Belina, Dieter Hogrefe · Computer Networks · 1989 · 148 citations
Rows per page
1–2 of 2