[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

WangBastaniYen05
  1. Dongfeng Wang & Farokh B Bastani & I.-Ling Yen
  2. Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance
  3. IEEE Trans Software Engineering V31n9(Sep 2005)pp713-732
  4. =IDEA MATHEMATICS MODAL LOGIC TLA ASPECTS COMPONENTS NONDETERMINISTIC FSM RHSM IDEAL BART

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]