Industrial Robots Programming: Building Applications for the Factories of the F

Julia Programming for Statistics: Statistical Methods and Applications Using Jul

Programming Approach to Formal Methods (McGraw-Hill Internationa

Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul

Formal Methods for Industrial Critical Systems: A Survey of Applications by Stef

Formal Methods for Industrial Critical Systems: 28th International Conference, F

Leveraging Applications of Formal Methods, Verification and V... - 9783030034177

Formal Methods for Industrial Critical Systems - 9783030270070