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&show=full | |
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. | |