Leibniz Transactions on Embedded Systems Journal

Overview

publication venue for

• From Dissipativity Theory to Compositional Construction of Control Barrier Certificates 2022

Research

keywords

• computer science, embedded systems, hardware systems, software systems, system design, verification, Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics