Learn More
Formal verification of software is a perennial problem and an inclusion to formal verification challenges is AOP (Aspect Oriented programs). Likewise, several contrary formal verification approaches exist for OOP (Object Oriented programs) but unable to deliver same robustness for AOP verification and also the proposed approaches to verify AOP seem to be(More)
Titanate nanotubes containing 2.5 wt% Ni were synthesized from TiO2 sol using alkali hydrothermal treatment followed by a simple ion-exchange process. The changes in phase, shape and morphology, surface area, and photocatalytic activity of these nanotubes have been explored as a function of calcination temperature. The samples were characterized using(More)
  • 1