1
Publications
82
Citations
1
H-Index
2003
Active since
Affiliations
The University of Texas at Austin(Current)
R. Lee is an author at The University of Texas at Austin specializing in software engineering, software systems, and formal verification.
Top concepts
SemanticsEngineeringFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsFormal SemanticsHardware SystemsSoftware SystemsOperating Systems
Publications per year
2003–2003
1
1
Semantics of Modechart in real time logic
Farnam Jahanian, R. Lee, Aloysius K. Mok · 2003 · 82 citations
Rows per page
1–1 of 1