Hierarchical Design of a Chemical Concentration Control System (2007)
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
Weidong H., “Formal Specification of stability in hybrid control systems (1996)
China and Portugal through contribution to the UNU Endowment Fund. The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST...