Home /Research /IPL: An Integration Property Language for Multi-model Cyber-physical Systems
OTHER

IPL: An Integration Property Language for Multi-model Cyber-physical Systems

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan

Year
2018
Citations
3

Keywords

Computer scienceModular designProperty (philosophy)Semantics (computer science)Consistency (knowledge bases)Cyber-physical systemVariety (cybernetics)Model checkingHuman–computer interactionDistributed computing

Related papers

Browse all OTHER papers