Modeling and verifying active structural control systems von Elseaidy, Wael M., Cleaveland, Rance, Baugh, John W.

Volltext

Verification of an active control system using temporal process algebra von ELSEAIDY, W. M, BAUGH, J. W, CLEAVELAND, R

Volltext

Real-Time Software Development with Formal Models von Baugh, John W, Elseaidy, Wael M

Volltext

Verifying an intelligent structural control system: a case study von Elseaidy, Cleaveland, Baugh

Volltext bestellen

754-P: Full-Fat and Low-Fat Dairy, within the Same Caloric Intake, Have Similar Impact on A1C and Cardiovascular Risk Factors: A Randomized Controlled Study von MITRI, JOANNA, TOMAH, SHAHEEN, MOTTALIB, ADHAM, SALSBERG, VERONICA, ASHRAFZADEH, SAHAR, ELSEAIDY, TAHA, MARADNI, AHMAD AL, ALSIBAI, KHALED, ELDIB, AHMED H., TASABEHJI, MHD WAEL, POBER, DAVID M., HAMDY, OSAMA

Volltext