A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
34
(31)
Show More
Show Less
Author
Show More
Show Less
Subject
Computación
(31)
security protocols
(2)
Active vibration control
(1)
Adaptive Programming
(1)
Alpha stable traffic
(1)
Analog Circuit Synthesis
(1)
Analog Filter Design
(1)
Bilevel programming
(1)
Cap Price
(1)
Computer Application
(1)
Show More
Show Less
Year
2019
(31)
2010
(4)
2015
(3)
2016
(3)
2017
(3)
2006
(2)
2008
(2)
2011
(2)
2012
(2)
2013
(2)
Show More
Show Less
Document Type
Sin Especificar
(31)
Show More
Show Less
Language
Inglés
(31)
Show More
Show Less
Your search
Document Type:
Sin Especificar
Repository:
34
Year:
2019
Language:
Inglés
Subject:
Computación
Sort by
Score
Title
Year
-
31-31 from
31
results
(0.015 seconds)
Title:
Formal Support to Security Protocol Development: A Survey
Language:
Inglés
Repository:
34
Subject:
Computación
/
Formal methods
/
security protocols
/
protocol synthesis
/
protocol diagnosis and repair
Acceder
Acceder
« Previous
1
2
3
4
Next »