Formal Methods and Models for System Design, Fachbücher von Sandeep Kumar Shukla

SystemC Kernel Extensions for Heterogeneous System Modeling, Fachbücher von Sandeep Kumar Shukla

Synthesis of Embedded Software, Fachbücher von Sandeep Kumar Shukla

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis, Fachbücher von Sandeep Kumar Shukla

Formal Methods and Stochastic Models for Performance Evaluation, Fachbücher

Sandeep Kumar Shukla (u. A.) | Systemc Kernel Extensions For

Formal Methods for Distributed System Development, Fachbücher

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications, Fachbücher von Sandeep Kumar Shukla

Geophysical Survey for Aquifer Investigation, Fachbücher von Sandeep Kumar

Development and Deforestation, Fachbücher von Sandeep Kumar Kujur

Formal Methods for Computer/Communications Protocols and Software, Fachbücher

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Sowing Strategies for Rice Cultivation, Fachbücher von Sandeep Kumar, Surender Singh

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods, Fachbücher

Sandeep Kumar Shukla (u. A.) | Low Power Hardware Synthesis From

Formal Semantics and Proof Techniques for Optimizing VHDL Models, Fachbücher