Y.-Y. Cao
Papers
1
Total Citations
6
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 6 citations
Formal methods1 · 6 citations
Formal semantics (linguistics)1 · 6 citations
Formal verification1 · 6 citations
Programming language1 · 6 citations
Semantics (computer science)1 · 6 citations
Software1 · 6 citations
Software engineering1 · 6 citations
Systems Modeling Language1 · 6 citations
Theoretical computer science1 · 6 citations
Unified Modeling Language1 · 6 citations
Key Achievements
1
H-Index
1
Papers
6
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics
6 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Zhejiang University of Technology
Top Papers
- 1
Key Collaborators
Not generated yet