2
Publications
205
Citations
2
H-Index
1991
Active since
Affiliations
Yosef Willner is an author at Technion – Israel Institute of Technology specializing in formal methods, asynchronous systems, and control systems.
Top concepts
EngineeringVerificationFormal MethodsControl SystemsComputer ScienceFormal VerificationSystems EngineeringAsynchronous Systems
Publications per year
1991–1995
2
2
Rows per page
1–2 of 2