Formal modelling and analysis of broadcasting embedded control systems

David Kendall. Formal modelling and analysis of broadcasting embedded control systems. PhD thesis, Newcastle University, Newcastle upon Tyne, UK, 2001. [doi]

Abstract

Abstract is missing.