Data di Pubblicazione:
2005
Abstract:
Researchers from two CNR Institutes in Pisa are studying ways in which a formal model of team automata can be exploited to specify and analyse security-related issues.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Software/Program Verification; Security and Protection
Elenco autori:
TER BEEK, MAURICE HENRI; Lenzini, Gabriele; Petrocchi, Marinella
Link alla scheda completa:
Pubblicato in: