Surface transport and DC current gain in InGaAs/InP DHBTs for THz applications
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/SCC.2014.32
کلیدواژه(گان): formal verification,service-oriented architecture,SOC,deadlocks,formal semantics,formal verification,formalization approach,livelocks,service composition,service-oriented computing,Algebra,Automata,Companies,Petri nets,Semantics,Wiring,Behavioral Analysis,Formal Description Techniques,Service Composition,Service-Oriented Computing
کالکشن
:
-
آمار بازدید
Surface transport and DC current gain in InGaAs/InP DHBTs for THz applications
Show full item record
| date accessioned | 2020-03-12T20:28:24Z | |
| date available | 2020-03-12T20:28:24Z | |
| date issued | 2014 | |
| identifier other | 6872345.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1015843?locale-attribute=fa | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Surface transport and DC current gain in InGaAs/InP DHBTs for THz applications | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8139569 | |
| subject keywords | formal verification | |
| subject keywords | service-oriented architecture | |
| subject keywords | SOC | |
| subject keywords | deadlocks | |
| subject keywords | formal semantics | |
| subject keywords | formal verification | |
| subject keywords | formalization approach | |
| subject keywords | livelocks | |
| subject keywords | service composition | |
| subject keywords | service-oriented computing | |
| subject keywords | Algebra | |
| subject keywords | Automata | |
| subject keywords | Companies | |
| subject keywords | Petri nets | |
| subject keywords | Semantics | |
| subject keywords | Wiring | |
| subject keywords | Behavioral Analysis | |
| subject keywords | Formal Description Techniques | |
| subject keywords | Service Composition | |
| subject keywords | Service-Oriented Computing | |
| identifier doi | 10.1109/SCC.2014.32 | |
| journal title | evice Research Conference (DRC), 2014 72nd Annual | |
| filesize | 461453 | |
| citations | 0 | |
| contributor rawauthor | Han-Wei Chiang , Rode, J.C. , Choudhary, P. , Rodwell, M.J.W. |