Login / Signup
Sergiy Gladysh
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Fully Observable
Search Algorithm
Control Flow
Transition Systems
Top Venues
IFIPTM
</>
Publications
</>
Sergiy Gladysh
,
Peter Herrmann
Modeling Reactive Trust Acquisition Using State Transition Systems.
IFIPTM
(2013)