Loading...
Images of Anastasia Tugaenko
(0 from 0 )Network Profiles
Business Profiles
Researchgate: Anastasia Tugaenko
Moscow, Moscow, Russia
Books & Literature
Leveraging Applications of Formal Methods, Verification, and...
books.google.co.uk
Specification Based Conformance Testing for Email Protocols⋆ Nikolay Pakulin and Anastasia Tugaenko Institute for System Programming of the Russian ...
Related Documents
Anastasia Tugaenko - researchr alias
researchr.org
Model-based testing of internet e-mail protocolsNikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman. pcs, 38(5): , [doi] ...
TEST SUITE DEVELOPMENT FOR CONFORMANCE TESTING OF EMAIL PROTOCOLS...
vdocuments.site
Slide 1 TEST SUITE DEVELOPMENT FOR CONFORMANCE TESTING OF EMAIL PROTOCOLS Anastasia Tugaenko Scientific Adviser: Nikolay Pakulin, PhD Institute for System...
Scientific Publications
dblp: Anastasia Tugaenko
dblp.uni-trier.de
List of computer science publications by Anastasia Tugaenko
dblp: Leveraging Applications of Formal Methods 2010
dblp.uni-trier.de
Bibliographic content of Leveraging Applications of Formal Methods 2010
dblp: Nikolay V. Pakulin
dblp.uni-trier.de
List of computer science publications by Nikolay V. Pakulin
dblp: Programming and Computer Software, Volume 38
dblp.uni-trier.de
Bibliographic content of Programming and Computer Software, Volume 38
Publications
Specification Based Conformance Testing for Email Protocols |...
link.springer.com
The paper presents a method for conformance testing of Internet electronic mail protocols. The method is based on formal specification of the standards...
Reports & Statements
[jira] Commented: (JAMES-1018) James SMTP server while redirecting...
www.mail-archive.com
Anastasia Tugaenko commented on JAMES-1018: The problem is that James server doesn't recognize that ...
Staff
www.ispras.ru
Staff Department head. Dr. Alexander K. Petrenko, Professor, Head of the Department ... Anastasia Tugaenko Alexander Ugnenko Vladimir Fedotov Alexey Khoroshilov
[jira] Created: (JAMES-1018) James SMTP server while redirecting mail...
markmail.org
Anastasia Tugaenko (JIRA), Jun 10, :03 am. Norman Maurer (JIRA) :53 am. Anastasia Tugaenko (JIRA), Jul 20, :22 am ...
[jira] Commented: (JAMES-1018) James SMTP server while redirecting...
markmail.org
... the destination · permalink. From: Anastasia Tugaenko (JIRA) (.org). Date: Jul 20, :22:28 am. List: org.apache.james.server-dev ...
Miscellaneous
TEST SUITE DEVELOPMENT FOR CONFORMANCE TESTING OF PROTOCOLS...
slideplayer.com
TEST SUITE DEVELOPMENT FOR CONFORMANCE TESTING OF EMAIL PROTOCOLS Anastasia Tugaenko Scientific Adviser: Nikolay Pakulin, PhD Institute for System Programming.
"Anastasia Tugaenko (JIRA)"
marc.info
Viewing messages posted by '"Anastasia Tugaenko (JIRA)" <server-dev () james ! apache ! org>' (2 msg) [1] [jira] Commented: (JAMES-1018) ...
SYRCoSE Program: June 1, 2010
www.itlab.unn.ru
Test Suite Development for Conformance Testing of Email protocols. Speaker: Anastasia Tugaenko (Institute for System Programming, RAS).
womENcourage 2015
womencourage.acm.org
Design of tangible tabletop activities to improve cognitive functions; Anastasia Tugaenko and Nikolay Pakulin. Automated Requirements Transfer between ...
Leveraging Applications of Formal Methods, Verification, and...
www.infona.pl
Nikolay Pakulin, Anastasia Tugaenko · Leveraging Applications of Formal Methods, Verification, and Validation > Modeling and Formalizing Industrial Software ...
Gmane -- Mail To News And Back Again
permalink.gmane.org
Anastasia Tugaenko (JIRA | 20 Jul 17: Anastasia Tugaenko commented on JAMES-1018: The ...
Related search requests for Anastasia Tugaenko
|
People Forename "Anastasia" (8534) Name "Tugaenko" (1) |
sorted by relevance / date