Formal verification analysis of load-voltage power control
- M. Moulin
- L. Gluhovsky
- et al.
- 2006
- Intelligent Automation and Soft Computing
Publications
Date
Featured collections
Popular topics
3 results for D. Geist
Computing the minimum DNF representation of Boolean functions defined by intervals
- Baruch Schieber
- Daniel Geist
- et al.
- 2005
- Discrete Applied Mathematics
Formal Verification analysis of load-voltage power dynamics and control
- M. Moulin
- L. Gluhovsky
- et al.
- 2004
- ISIAC - WAC 2004