[Advances in Intelligent Systems and Computing] New Advances in Information Systems and Technologies Volume 444 || Simulation and Test of Communication in Multi-robot Systems Using Co-simulation
- 作者Rocha, Álvaro; Correia, Ana Maria; Adeli, Hojjat; Reis, Luis Paulo; Mendonça Teixeira, Marcelo
- 文件大小264.65KB
- 发表时间2016
- DOI10.1007/978-3-319-31232-3_86
- 页码911-917
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 ||Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Proof-Relevant ParametricityLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || 1ML with Special EffectsLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Dragging Proofs Out of PicturesLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Dependent Object TypesLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Lambda Calculus: Practice and PrincipleLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Linear $$ lambda mu $$ is $$ textsc {CP} $$ (more or less)Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016