Automatic Network Protocol Synthesis from UML Sequence Diagrams

Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, F. Stefanni

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
Titel2013 14th International Workshop on Microprocessor Test and Verification
Publikationsdato2013
Sider68-73
ISBN (Trykt)1550-4093, 978-1-4799-7916-5
ISBN (Elektronisk)978-1-4799-3246-7
DOI
StatusUdgivet - 2013
Udgivet eksterntJa
Begivenhed2013 14th International Workshop on Microprocessor Test and Verification - Austin, USA
Varighed: 11. dec. 201313. dec. 2013
Konferencens nummer: 14

Konference

Konference2013 14th International Workshop on Microprocessor Test and Verification
Nummer14
LandUSA
ByAustin
Periode11/12/201313/12/2013

Citer dette

Ebeid, E. S. M., Fummi, F., Quaglia, D., & Stefanni, F. (2013). Automatic Network Protocol Synthesis from UML Sequence Diagrams. I 2013 14th International Workshop on Microprocessor Test and Verification (s. 68-73) https://doi.org/10.1109/MTV.2013.21
Ebeid, Emad Samuel Malki ; Fummi, Franco ; Quaglia, Davide ; Stefanni, F. / Automatic Network Protocol Synthesis from UML Sequence Diagrams. 2013 14th International Workshop on Microprocessor Test and Verification. 2013. s. 68-73
@inproceedings{8795cab07c4b47778e90c821b2b57869,
title = "Automatic Network Protocol Synthesis from UML Sequence Diagrams",
author = "Ebeid, {Emad Samuel Malki} and Franco Fummi and Davide Quaglia and F. Stefanni",
year = "2013",
doi = "10.1109/MTV.2013.21",
language = "English",
isbn = "1550-4093",
pages = "68--73",
booktitle = "2013 14th International Workshop on Microprocessor Test and Verification",

}

Ebeid, ESM, Fummi, F, Quaglia, D & Stefanni, F 2013, Automatic Network Protocol Synthesis from UML Sequence Diagrams. i 2013 14th International Workshop on Microprocessor Test and Verification. s. 68-73, 2013 14th International Workshop on Microprocessor Test and Verification, Austin, USA, 11/12/2013. https://doi.org/10.1109/MTV.2013.21

Automatic Network Protocol Synthesis from UML Sequence Diagrams. / Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, F.

2013 14th International Workshop on Microprocessor Test and Verification. 2013. s. 68-73.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Automatic Network Protocol Synthesis from UML Sequence Diagrams

AU - Ebeid, Emad Samuel Malki

AU - Fummi, Franco

AU - Quaglia, Davide

AU - Stefanni, F.

PY - 2013

Y1 - 2013

U2 - 10.1109/MTV.2013.21

DO - 10.1109/MTV.2013.21

M3 - Article in proceedings

SN - 1550-4093

SN - 978-1-4799-7916-5

SP - 68

EP - 73

BT - 2013 14th International Workshop on Microprocessor Test and Verification

ER -

Ebeid ESM, Fummi F, Quaglia D, Stefanni F. Automatic Network Protocol Synthesis from UML Sequence Diagrams. I 2013 14th International Workshop on Microprocessor Test and Verification. 2013. s. 68-73 https://doi.org/10.1109/MTV.2013.21