We are interested in model-based testing for real- time systems. Specifically, we study two class...

This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

This book offers an overview of the recent disruptives technologies and their application in the ...

This book contains a comprehensive collection of chapters on recent and original research, along ...

This book offers an overview of the recent disruptives technologies and their application in the ...

This book contains a comprehensive collection of chapters on recent and original research, along ...