3
Publications
116
Citations
3
H-Index
2006
Active since
Affiliations
Université Libre de Bruxelles(Current)
Naiyong Jin is an author at Université Libre de Bruxelles specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationSimulationVerificationSoftware DesignSystem SoftwareProgram AnalysisAutomated Reasoning
Publications per year
2006–2011
3
3
An Operational Semantics of an Event-Driven System-Level Simulator
Xiaoqing Peng, Huibiao Zhu, Jifeng He et al. · Proceedings · 2006 · 10 citations
Rows per page
1–3 of 3