Aircraft ground servicing - Event-B Model This dataset is supporting the journal article 'Analysing the safety implications of security risks in cyber-physical systems' in The Practice of Formal Meth
Timeseries data from \'Rockland, Knox County Regional Airport, ME (KRKD)\' (gov_noaa_awc_krkd)cdm_data_type = TimeSeriesVARIABLES:time (seconds since 1970-01-01T00:00:00Z)latitude (degrees_north)longi
