This book constitutes the proceedings of the 19th International Conference on Formal Methods for ...

This book constitutes the refereed proceedings of the 30th International Conference on Computer S...

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Compu...

This book comprehensively covers the topic of COVID-19 and other pandemics and epidemics data ana...

Workshop on Software Engineering for Resilient Systems (SERENE).- Workshop on Dynamic Risk Manage...

Effective Surveillance for Homeland Security: Balancing Technology and Social Issues provides a c...

Una guida pratica su come ottenere l'Alta Fedelt¿el suono tra le pareti domestiche, scritta in mo...

Since the September 11th attacks, the scientific and engineering communities have been called upo...

Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on ...

This book addresses the latest approaches to holistic Cyber-Physical System (CPS) resilience in r...

This book comprehensively covers the topic of COVID-19 and other pandemics and epidemics data ana...

This book is a compilation of research papers and presentations from the Fourth Annual Internatio...