SysMA | Page 8 | Scuola IMT Alti Studi Lucca

Logics and algorithms for distributed monitoring spatio-temporal properties of cyber physical systems

Programmer and developer of mobile applications for Android and iPhone

Stochastic process algebras and associated logics, languages and tools

Systems Modeling and Analysis

Stochastic process algebras and associated logics, languages and tools

Software system modeling

Process Algebras

Stochastic process algebras and associated logics, languages and tools

Process Algebras

Wireless Technologies and ICT

prima
previous
1
2
3
4
5
6
7
8
9
successivo
ultimo