<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-11-13 10:44:47Data modeling Formal methods Finite-state machine Unified Modeling Language Abstract Syntax Notation One Diagrams Specification and Description Language Software engineering |
Add to Reading List |
INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR | ASN.1 parsing in crypto libraries: what could go wrong? Andrew Furtak, Yuriy Bulygin, Alex Bazhaniuk Advanced Threat ResearchDocID: 1r4EZ - View Document |
| CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1)DocID: 1luEV - View Document |
| ESV1Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Support of interfaces with continuous signalsDocID: 1gAb7 - View Document |
| Microsoft Word - TTCN-3_Syllabus_v2 0_final.docxDocID: 1gykr - View Document |
| ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 8: The IDL to TTCN-3 MappingDocID: 1gkmc - View Document |