Home > Research > Browse

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 journalJournal article

  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/ISSNConference contribution/Paper