Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems von YuFeng Chen, ZhiWu Li, Khalgui, M, Mosbahi, O

Volltext

R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems von Jiafeng Zhang, Khalgui, M., Zhiwu Li, Mosbahi, O., Al-Ahmari, Abdulrahman M.

Volltext

Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints von Khlifi, O., Mosbahi, O., Khalgui, M., Frey, G., Li, Z.

Volltext

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation von Khalgui, M, Mosbahi, O, Zhiwu Li, Hanisch, Hans-Michael

Volltext

A Component-Based Approach for the Development of Automated Systems von Mosbahi, O., Khalgui, M., Hanish, H., Li, Z.

Volltext

Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions von Meng Qin, ZhiWu Li, MengChu Zhou, Khalgui, M., Mosbahi, O.

Volltext

A formal approach to check and schedule reconfigurable embedded control systems von Khalgui, M., Mosbahi, O., Hanisch, H.-M.

Volltext

Implementation of agent-based reconfigurable embedded control systems von Khalgui, M., Mosbahi, O., Hanisch, H.-M.

Volltext

A Specification and Validation Technique Based on STATEMATE and FNLOG von Mosbahi, Olfa, Jemni, Leila, Ahmed, Samir Ben, Jaray, Jacques

Volltext

A composition-based approach for the development of automated embedded systems von Mosbahi, O., Jaray, J., Ben Ahmed, S.

Volltext

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device von Mosbahi, O., Jaray, J., Ayed, L.J.B.

Volltext

Integrating FNLLOG and STATEMATE for the specification and validation of real time systems von Mosbahi, O., Ayed, L.J.B., Ahmed, S.B.

Volltext bestellen

The Potassium Binding Protein Kbp Is a Cytoplasmic Potassium Sensor von Ashraf, Khuram U., Josts, Inokentijs, Mosbahi, Khedidja, Kelly, Sharon M., Byron, Olwyn, Smith, Brian O., Walker, Daniel

Volltext

Structure of the bacterial plant-ferredoxin receptor FusA von Grinter, Rhys, Josts, Inokentijs, Mosbahi, Khedidja, Roszak, Aleksander W., Cogdell, Richard J., Bonvin, Alexandre M. J. J., Milner, Joel J., Kelly, Sharon M., Byron, Olwyn, Smith, Brian O., Walker, Daniel

Volltext

Predictive factors for failure of surgical treatment of vesicovaginal fistulas von Chaker, K., Ouanes, Y., Marrak, M., Gharbia, N., Mosbahi, B., Fakhfakh, H., Hariz, A., Chbeb, O., Bibi, M., Mrad Dali, K., Rahoui, M., Abid, K., Ammous, A., Nouira, Y.

Volltext

A0493 - Predictive factors for failure of surgical treatment of vesicovaginal fistulas von Chaker, K., Ouanes, Y., Marrak, M., Gharbia, N., Mosbahi, B., Fakhfakh, H., Hariz, A., Chbeb, O., Bibi, M., Mrad Dali, K., Rahoui, M., Abid, K., Ammous, A., Nouira, Y.

Volltext

Structure of the bacterial plant-ferredoxin receptor FusA von Grinter, Rhys, Josts, Inokentijs, Mosbahi, Khedidja, Roszak, Aleksander W, Cogdell, Richard J, Bonvin, Alexandre M J J, Milner, Joel J, Kelly, Sharon M, Byron, Olwyn, Smith, Brian O, Walker, Daniel

Volltext

Recombinant expression, purification, crystallization and preliminary X-ray diffraction analysis of the C-terminal DUF490 963–1138 domain of TamB from Escherichia coli von Josts, Inokentijs, Grinter, Rhys, Kelly, Sharon M., Mosbahi, Khedidja, Roszak, Aleksander, Cogdell, Richard, Smith, Brian O., Byron, Olwyn, Walker, Daniel

Volltext

Recombinant expression, purification, crystallization and preliminary X-ray diffraction analysis of the C-terminal DUF490963-1138 domain of TamB from Escherichia coli von Josts, Inokentijs, Grinter, Rhys, Kelly, Sharon M., Mosbahi, Khedidja, Roszak, Aleksander, Cogdell, Richard, Smith, Brian O., Byron, Olwyn, Walker, Daniel

Volltext

Recombinant expression, purification, crystallization and preliminary X-ray diffraction analysis of the C-terminal DUF490(963-1138) domain of TamB from Escherichia coli von Josts, Inokentijs, Grinter, Rhys, Kelly, Sharon M, Mosbahi, Khedidja, Roszak, Aleksander, Cogdell, Richard, Smith, Brian O, Byron, Olwyn, Walker, Daniel

Volltext