Verum Software Tools
Delen
Verum creates and sells software engineering tools for designing verifiably correct embedded software for cyber-physical systems. “Dezyne”, enables software engineers to create, explore and formally verify designs for embedded software. Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state base
10/10/2019
Have you registered for this live webinar?
Join us next Wednesday, October 16, with Bert de Jonge (Verum) and Mark Hermeling (GrammaTech).
https://lnkd.in/gNUuaiD
09/10/2019
Is it possible to combine PLCs and embedded controllers?
Industrial automation is traditionally a PLC domain since they are simple and robust. However, in modern factories there is an increasing demand for flexibility and a higher need for connectivity & networking leading to more complex integrated systems.
In this article we will explore the possibilities.
PLC versus embedded controller - Dezyne | Verum Is it possible to combine PLCs and embedded controllers? What are the benefits and limitations of the PLC and embedded controllers?
Klik hier om uitgelicht te worden.
Type
Telefoon
Website
Adres
Luchthavenweg 81. 041
Eindhoven
5657EA
Openingstijden
| Maandag | 09:00 - 17:00 |
| Dinsdag | 09:00 - 17:00 |
| Woensdag | 09:00 - 17:00 |
| Donderdag | 09:00 - 17:00 |
| Vrijdag | 09:00 - 17:00 |
