Home > Research > Browse

Research

Results for High costs

Publications & Outputs

  1. A fuzzy based verification agent for the Persim human activity simulator in Ambient Intelligent Environments

    Elfaham, A., Hagras, H., Helal, S., Hossain, S., Lee, J. W. & Cook, D., 2010, 2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010. IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Dependable and cost-effective architecture for X-by-wire systems with membership middleware

    Sakurai, K., Matsubara, M., Serafini, M. & Suri, N., 2008, p. 160-169. 10 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  3. On the use of formal techniques for validation

    Suri, N. & Sinha, P., 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing . IEEE, p. 1-10 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review