Home /Research /Self-organising assembly systems formally specified in Maude
OTHER

Self-organising assembly systems formally specified in Maude

Regina Frei, Traian Florin Şerbănuţă, Giovanna Di Marzo Serugendo

Year
2012
Citations
9

Keywords

Computer scienceProduct (mathematics)RobotSet (abstract data type)Process (computing)Order (exchange)Artificial intelligenceProgramming language

Related papers

Browse all OTHER papers