Nettsider med emneord «cyber-hysical systems»

Publisert 17. apr. 2019 14:04

Isabelle is a Tool (from Cambridge/Munich) for Proving Correctness of Cyber Physical Systems and More.

One example application is to prove safety of IoT systems.