Synthesizing protocol specifications from service specifications in timed extended finite state machines
Jun-Cheol Park
◽
R.E. Miller
K. El‐Fakih
◽
Ayman Alzaatreh
◽
Uraz Cengiz Türker
Sun Wenhui
◽
Liu Feng
◽
Dai Gang
◽
Li Honghui
2014 ◽
Vol 47
(2)
◽
pp. 376-382
◽
Sahar Mohajerani
◽
Robi Malik
◽
Martin Fabian
Binh T. Nguyen
◽
Michel Delaunay
◽
Chantal Robach
Mahadevan Subramaniam
◽
Bo Guo
◽
Zoltan Pap
Ekaterina V. Shirokova
◽
◽
Svetlana A. Prokopenko
◽
Natalia V. Shabaldina
Ana Turlea
◽
Florentin Ipate
◽
Raluca Lefticaru
Sun Wenhui
◽
Liu Feng
◽
Dai Gang
◽
Li Honghui
2016 ◽
Vol 28
(2)
◽
pp. 233-263
◽
Sofia Cassel
◽
Falk Howar
◽
Bengt Jonsson
◽
Bernhard Steffen