Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
  • en Русский
Version for the visually impaired
  • About the journal
  • Editorial board
  • All issues
  • Guide for Authors
    • Menu
    • Submission contents and structure
    • Formatting guidelines
    • Submission
    • Peer review
    • References
    • Article abstract
    • Lisence Agreement
  • Publication ethics
  • Artificial Intelligence
  • Journal metrics
  • News
  • Contact us
Author Nikolay V. Pakulin
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
Latest issues
  • 2025, Volume 18 Issue 2 Full text
  • 2025, Volume 18 Issue 1 Full text
  • 2024, Volume 17 Issue 4 Full text
  • 2024, Volume 17 Issue 3 Full text
Nikolay V. Pakulin
Nikolay V. Pakulin
decodeDefault

Conformance testing automation for transport layer security protocol TLS

Conference «Tools & Methods of Program Analysis — 2013»
Nikeshin A.V. Pakulin N.V. Shnitman V.Z.
  • Year: 2014
  • Issue: 2
  • 353
  • 7621
  • Pages: 180-188

Dynamic verification of hybrid systems

Conference «Tools & Methods of Program Analysis — 2013»
Pakulin N.V.
  • Year: 2014
  • Issue: 2
  • 746
  • 8063
  • Pages: 189-203
Computing, Telecommunication and Control
Personal data is shared with the consent of сthe сindividuals it pertains to
Contact Us
decodeText
decodeDefault
Cookie Policy Privacy policy
🍪
We use cookies and recommendation technologies to enhance the website's performance. By continuing to use this site you agree to the use of cookies .
🍪
We use cookies and recommendation technologies to enhance the website's performance. By continuing to use this site you agree to the use of cookies.