A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Gorde:
| Argitaratua izan da: | Electronics vol. 13, no. 23 (2024), p. 4660 |
|---|---|
| Egile nagusia: | |
| Beste egile batzuk: | |
| Argitaratua: |
MDPI AG
|
| Gaiak: | |
| Sarrera elektronikoa: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Izan zaitez lehena ohar bat uzten!