Model Checking Stochastic Automata for Dependability and Performance Measures
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/NANO.2014.6968111
کلیدواژه(گان): Aluminum oxide,Gold,Nanoparticles,Nickel,Powders,Sputtering,Substrates
کالکشن
:
-
آمار بازدید
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 | https://libsearch.um.ac.ir:443/fum/handle/fum/1119661 | |
| 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 |