Formal Methods for Multi-Agent Feedback Control Systems by Lars Lindemann

Languages, Design Methods, and Tools for Electronic System Design : Selected ...

Gupta - Formal Methods and Models for System Design A System Level P - X555z

Formal and Practical Techniques for the Complex System Design... - 9783031516948

Languages, Design Methods, and Tools for Electronic System Design : Selected ...

Languages, Design Methods, and Tools for Electronic System De... - 9783319796314

Models, Methods, and Tools for Complex Chip Design - 9783319014173