A tool for visual specification and verification for secure process movements

Yeongbok Choe and Woorim Choi and Gyeongeon Jeon and Moonkun Lee

Links

Cite as

Yeongbok Choe, Woorim Choi, Gyeongeon Jeon, Moonkun Lee: A tool for visual specification and verification for secure process movements. In: eChallenges e-2015 Conference, pp. 1–11, IEEE, Vilnius, Lithuania, 2015, ISBN: 9781905824533.

BibTeX (Download)

@inproceedings{choe_tool_2015,
title = {A tool for visual specification and verification for secure process movements},
author = {Yeongbok Choe and Woorim Choi and Gyeongeon Jeon and Moonkun Lee},
url = {http://ieeexplore.ieee.org/document/7440971/},
doi = {10.1109/eCHALLENGES.2015.7440971},
isbn = {9781905824533},
year  = {2015},
date = {2015-11-01},
urldate = {2021-09-16},
booktitle = {eChallenges e-2015 Conference},
pages = {1–11},
publisher = {IEEE},
address = {Vilnius, Lithuania},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}