Author of the publication

K-Go: An executable formal semantics of Go language in K framework.

, , , , , and . IET Blockchain, 3 (2): 61-73 (June 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bayesian Covariance Tracking with Adaptive Feature Selection., , , , and . ISNN, volume 8866 of Lecture Notes in Computer Science, page 516-523. Springer, (2014)Precise and Efficient Pointing Control of a 2.5-m-Wide Field Survey Telescope Using ADRC and Nonlinear Disturbance Observer., , , , and . Sensors, 23 (13): 6068 (July 2023)Research on Dynamic Updating of Grid Service., , and . International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, page 1107-1114. Springer, (2007)Dynamic Software Upgrading for Distributed System Based on R-OSGI., , , and . CSSE (3), page 227-231. IEEE Computer Society, (2008)978-0-7695-3336-0.SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC., , , , , and . ProvSec, volume 14217 of Lecture Notes in Computer Science, page 115-130. Springer, (2023)The lateral stability control of vehicles based on sliding mode method., , and . ICIA, page 1312-1317. IEEE, (2014)Level Set Methods and Image Segmentation., , and . MIAR, page 204-. IEEE Computer Society, (2001)Supporting Dynamic Updates of Componentized Service., , and . IEEE SCC, page 699-700. IEEE Computer Society, (2007)A Workflow-Oriented Scripting Language Based on BPEL4WS., , and . APWeb Workshops, volume 3842 of Lecture Notes in Computer Science, page 690-697. Springer, (2006)K-Go: An executable formal semantics of Go language in K framework., , , , , and . IET Blockchain, 3 (2): 61-73 (June 2023)