2008 | ||
---|---|---|
3 | EE | Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin: Automated Formal Testing of C API Using T2C Framework. ISoLA 2008: 56-70 |
2007 | ||
2 | EE | N. V. Pakulin, Alexey V. Khoroshilov: Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. Programming and Computer Software 33(6): 316-335 (2007) |
2006 | ||
1 | EE | Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466 |
1 | Alexey Grinevich | [1] |
2 | Victor V. Kuliamin | [1] |
3 | Denis Markovtsev | [1] |
4 | N. V. Pakulin | [2] |
5 | Alexandre Petrenko | [1] |
6 | Vladimir V. Rubanov | [1] [3] |
7 | Eugene A. Shatokhin | [3] |