Abstract: Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems, including primitives for evolution along an ordinary differential equation (ODE), communication, and ...
Abstract: RF connectivity is pervasive in many systems to- day and can underpin fundamental services. Intentional Global Navigation Satellite System (GNSS) jamming activities are increasing across the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results