Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    Publication schedule
    • №3 September 2026
      Submission deadline: 31 August 2026
    • №4 December 2026
    Latest issues

    Articles from section "Conference «Tools & Methods of Program Analysis – 2013»"

    Conference “Tools & Methods of Program Analysis – 2013”

    Conference «Tools & Methods of Program Analysis – 2013»
    Itsykson V.M.
    • Year: 2014
    • Issue: 2
    • 1
    • 8533
    • Pages: 129-129

    Dynamic verification of hybrid systems

    Conference «Tools & Methods of Program Analysis – 2013»
    Pakulin N.V.
    • Year: 2014
    • Issue: 2
    • 748
    • 9474
    • Pages: 189-203

    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
    • 9047
    • Pages: 180-188

    UPPAAL-based verification of software-defined networks

    Conference «Tools & Methods of Program Analysis – 2013»
    Podymov V.V.Popesko U.V.
    • Year: 2014
    • Issue: 2
    • 465
    • 9381
    • Pages: 169-179

    Using of exchange simulators and test exchanges as tools to test Ticker Plant systems

    Conference «Tools & Methods of Program Analysis – 2013»
    Bulda A.Yu.Buyanova O.A.Zverev A.V.
    • Year: 2014
    • Issue: 2
    • 288
    • 8567
    • Pages: 153-168

    Particular qualities of testing tools used in industrial operation of trading systems

    Conference «Tools & Methods of Program Analysis – 2013»
    Averina А.А.Antonov N.А.Itkin I.L.
    • Year: 2014
    • Issue: 2
    • 280
    • 8864
    • Pages: 143-152

    Verifying correctness of hdl-model behavior on the basis of dynamical trace matching

    Conference «Tools & Methods of Program Analysis – 2013»
    Ivannikov V.P.Kamkin A.S.Chupilko М.М.
    • Year: 2014
    • Issue: 2
    • 330
    • 8986
    • Pages: 130-142