COM SCI 219
Current Topics in Computer System Modeling Analysis: Network Verification, Synthesis, and Creative Habit
Description: Lecture, eight hours; outside study, four hours. Review of current literature in area of computer system modeling analysis in which instructor has developed special proficiency as consequence of research interests. Students report on selected topics. May be repeated for credit with consent of instructor. Letter grading.
Units: 4.0
Units: 4.0