Specifying and verifying requirements of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Use of genetic algorithms for optimization in digital control of dynamic systems
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
WSC '94 Proceedings of the 26th conference on Winter simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Digital filter design and stability of a predictor-corrector integration
ANSS '80 Proceedings of the 13th annual symposium on Simulation
Uncalibrated visual servoing feedback based exponential stabilization of nonholonomic mobile robots
ROBIO'09 Proceedings of the 2009 international conference on Robotics and biomimetics
| Hi-index | 0.00 |