Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated technique...

Aptamers

The book discusses the basics of aptamers and the advent of aptamer-based technology in rece...

Industrial System Engineering for Drones

Explore a complex mechanical system where electronics and mechanical engineers work tog...

Proceedings of First International Conference on Computing, Communications, and Cyber-Security (IC4S 2019)

This book features selected research papers presented at the First International Confer...

Constructed Wetlands for Sustainable Wastewater Treatment and Biocircular Economy

This book provides a comprehensive exploration of the role of constructed wetlands in sustainable...

Next Generation Cruise

The Next Generation Cruise is a vehicle. Theoretically, it is supposed to follow a vehicle of cho...

An Efficient Load Balancing Algorithm in Distributed Network

A distributed system is a communication intensive system; where each system sends and receives so...

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated techniques a...

KAIZEN IMPROVEMENT IN A PROCESS ORGANIZATION

Today''s managers often try to apply sophisticated tools and technologies to deal with problems t...

Remediation of Chromium and Other Heavy Metals (Pb, Ni) in Tannery Waste

Several approaches are currently being used for the prevention, control and remediation of soil c...

Industrial System Engineering for Drones

Explore a complex mechanical system where electronics and mechanical engineers work together as a...