Miroslav Pajic et al.: Towards synthesis of platform-aware attack-resilient control systems: extended abstract. (2013)conf/hicons/PajicBWAMMPSTWL1310.1145/2461446.2461457Q57581652Towards synthesis of platform-aware attack-resilient control systems: extended abstract.11Miroslav Pajic1Nicola Bezzo2James Weimer3Rajeev Alur4Rahul Mangharam5Nathan Michael6George J. Pappas7Oleg Sokolsky8Paulo Tabuada9Stephanie Weirich10Insup Lee 00011175-76HiCoNSHiCoNS20132013provenance information for RDF data of dblp record 'conf/hicons/PajicBWAMMPSTWL13'2023-06-26T20:48:51+0200