Home > Research > Browse

Research

Results for Property verification

Publications & Outputs

  1. A taste of words: linguistic context and perceptual simulation predict the modality of words

    Louwerse, M. & Connell, L., 03/2011, In: Cognitive Science. 35, 2, p. 381-398 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Sustaining property verification of synchronous dependable protocols over implementation

    Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 14/11/2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 169-178 10 p.

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