Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture

Formal Methods and Models for System Design: A System Level Perspective