Lopez Acosta, Hugo Andres
Lopez Acosta, Hugo Andres
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
A Declarative framework for Security: Secure Concurrent Constraint Programming
2006-01-01 Lopez Acosta, Hugo Andres; F. D., Valencia; C., Palamidessi; J. A., Perez; C., Rueda
Formally Reasoning About Security Issues In P2P Protocols: A Case Study
2006-01-01 A. A., Aristizabal; Lopez Acosta, Hugo Andres; C., Rueda; F. D., Valencia
Goal-Equivalent Business Process Re-engineering
2008-01-01 Lopez Acosta, Hugo Andres; Massacci, Fabio; Zannone, Nicola
Using a Declarative Process Language for P2P Protocols
2005-01-01 A. A., Aristizabal; Lopez Acosta, Hugo Andres; C., Rueda
| Titolo | Anno di pubblicazione | Autori Unitn | File |
|---|---|---|---|
| A Declarative framework for Security: Secure Concurrent Constraint Programming | 1-gen-2006 | Lopez Acosta, Hugo Andres + | |
| Formally Reasoning About Security Issues In P2P Protocols: A Case Study | 1-gen-2006 | Lopez Acosta, Hugo Andres + | |
| Goal-Equivalent Business Process Re-engineering | 1-gen-2008 | Lopez Acosta, Hugo AndresMassacci, FabioZannone, Nicola | |
| Using a Declarative Process Language for P2P Protocols | 1-gen-2005 | Lopez Acosta, Hugo Andres + |