Author Info
Name
Affiliation
Papers
D MUTHIAYEN
Department of Computer Science, Concordia University, Montreal, Que. H3G 1M8, Canada
6
Collaborators
Citations 
PageRank 
12
12
3.31
Referers 
Referees 
References 
26
49
23
Title
Citations
PageRank
Year
A rigorous approach for constructing self-evolving real-time reactive systems40.882003
A Rigorous Approach to Modeling Autonomous Traffic Control Systems30.492003
Towards a mechanical verification of real-time reactive systems modeled in UML10.632000
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems00.342000
Verification and Validation Techniques of Object-Oriented Software Systems00.341999
Animating Real-Time Reactive Systems40.641996