Publication Date:
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.
Iris type:
01.01 Articolo in rivista
Keywords:
Software/Program Verification; Security and Protection
List of contributors:
TER BEEK, MAURICE HENRI; Lenzini, Gabriele; Petrocchi, Marinella
Published in: