Model Checking Stochastic Automata for Dependability and Performance Measures
Publisher:
Year
: 2014DOI: 10.1109/NANO.2014.6968111
Keyword(s): Aluminum oxide,Gold,Nanoparticles,Nickel,Powders,Sputtering,Substrates
Collections
:
-
Statistics
Model Checking Stochastic Automata for Dependability and Performance Measures
Show full item record
| contributor author | Buchholz, P. , Krige, J. , Scheftelowitsch, D. | |
| date accessioned | 2020-03-12T23:39:34Z | |
| date available | 2020-03-12T23:39:34Z | |
| date issued | 2014 | |
| identifier other | 6903606.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1119661?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Model Checking Stochastic Automata for Dependability and Performance Measures | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8289706 | |
| subject keywords | Aluminum oxide | |
| subject keywords | Gold | |
| subject keywords | Nanoparticles | |
| subject keywords | Nickel | |
| subject keywords | Powders | |
| subject keywords | Sputtering | |
| subject keywords | Substrates | |
| identifier doi | 10.1109/NANO.2014.6968111 | |
| journal title | ependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on | |
| filesize | 330989 | |
| citations | 0 |