contributor author | Yutian Zhou | |
contributor author | Mancarella, P. | |
contributor author | Mutale, J. | |
date accessioned | 2020-03-12T21:50:29Z | |
date available | 2020-03-12T21:50:29Z | |
date issued | 2014 | |
identifier other | 6960625.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1062376?locale-attribute=en&show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | Generation adequacy in wind rich power systems: Comparison of analytical and simulation approaches | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8194354 | |
subject keywords | formal specification | |
subject keywords | n program testing | |
subject keywords | n black-box software | |
subject keywords | n components unit testing | |
subject keywords | n compositional specifications | |
subject keywords | n contract-based design | |
subject keywords | n hardware testing | |
subject keywords | n hiding operations | |
subject keywords | n interface theories | |
subject keywords | n ioco conformance relation | |
subject keywords | n ioco-testing theory | |
subject keywords | n model-based testing | |
subject keywords | n Complexity theory | |
subject keywords | n Context | |
subject keywords | n Hardware | |
subject keywords | n Software | |
subject keywords | n Synchronization | |
subject keywords | n Testing | |
subject keywords | n User interfaces | |
subject keywords | n compositional testing | |
subject keywords | n model-based testing | |
identifier doi | 10.1109/ICST.2014.50 | |
journal title | robabilistic Methods Applied to Power Systems (PMAPS), 2014 International Conference on | |
filesize | 674955 | |
citations | 0 | |