Big Chemical Encyclopedia

Chemical substances, components, reactions, process design ...

Articles Figures Tables About

Transition disks definition

We developed a prototypical tool in Java that takes an AADL model as input, and then computes the effect matrix (see Definition 3 and Algorithm 1) as result. Inside the tool, it uses our AADL-to-Promela translator [10] to have the SPIN model checker [9] generate the transitions system. This transition system, in explicit-state representation, is dumped to disk as a file. All computations are then performed on that state space. [Pg.247]

Potentiodynamic polarization curves of thin-fiim disk materials in a droplet of D1 water. Parameter definitions DCC DC sputtered C RFC RF sputtered C CoCr, Co + 17%Cr CoP, CO + 8%P Co, pure Co. (Reprinted from Brusic, V. et al.. Electrochemistry in Transition, Murphy, O.J. et al. (eds.). Plenum, New York, 1992, p. 547. With... [Pg.851]


See other pages where Transition disks definition is mentioned: [Pg.200]    [Pg.182]    [Pg.250]    [Pg.60]    [Pg.1684]    [Pg.662]    [Pg.336]    [Pg.166]   
See also in sourсe #XX -- [ Pg.264 ]




SEARCH



Transition definition

Transition disks

© 2024 chempedia.info