4
Publications
145
Citations
4
H-Index
2002
Active since
Affiliations
Yi Deng is an author at Florida International University specializing in formal methods, engineering, and systems engineering.
Top concepts
EngineeringFormal MethodsSystems EngineeringSoftware DesignSystem SoftwareComputer ScienceFormal VerificationComputer EngineeringSoftware EngineeringReal-time Systems
Publications per year
2002–2003
4
4
A formal method for analyzing software architecture models in SAM
Modeling and analyzing SMIL documents in SAM
Rows per page
1–4 of 4