Edinburgh Research Explorer

Miss Ludovica Luisa Vissat

(Former employee or visitor)

Research outputs

  1. Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  2. Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (5) »

ID: 76527125