2005
Journal article
Unknown
Contributions of team automata in security
Ter Beek M., Lenzini G., Petrocchi M.
Software/Program Verification Security and Protection
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.
Source: ERCIM news 63 (2005): 38–39.
Publisher: ERCIM., Le Chesnay
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:172098,
title = {Contributions of team automata in security},
author = {Ter Beek M. and Lenzini G. and Petrocchi M.},
publisher = {ERCIM., Le Chesnay},
journal = {ERCIM news},
volume = {63},
pages = {38–39},
year = {2005}
}
0000-0001-8229-3270CNR ExploRA