Sergey M Staroletov

1PUBLICATIONS
3CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jul 14, 2023
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.

Vladimir E Zyubin, Natalia O Garanina, Igor S Anureev

Pageof 1