Electric Power Distribution Handbook (Electric Power Engineering Series) Generation, transmission, distribution. Of the "big three" components of the electricity infrastructure, distribution typically gets the least attention. Yet, its impact on reliability, quality of service, and society often make distribution the most critical element. Today, deregulation and the emergence of distributed power generation... Principles of Model Checking Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
|Result Page: 7 6 5 4 3 2 1 |