Zhang, Miaomiao

Associate Professor

Research Interests
Verification and Analysis of Embedded Real Time Systems
Formal Verification and Modeling of mixed Systems or Timed System
Controller Design of Mixed Systems
Distributed Algorithm and Protocol
Service Discovery and Context Discovery Protocol
Embedded System

Teaching
420105 Signals and Systems
420132 Real Time Operating Systems
420135 Digital Signal Processing
420136 DSP and Software Development Techniques

CV ->

Contact
Office: ITB 446
Phone: 69589584
Fax: 69589840
E-mail: miaomiao@mail.tongji.edu.cn