Search Results for Robotics.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor.

https://doi.org/10.1007/978-3-319-77935-5

Format:

Electronic Resources

Alıntı:

, as well as their potential application to aerospace, robotics, and other NASA-relevant

Answer Set Programming

Yazar

Lifschitz, Vladimir. author.

https://doi.org/10.1007/978-3-030-24658-7

Format:

Electronic Resources

Alıntı:

robotics, in space exploration, in oil and gas industry, and many others. The importance of this

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Yazar

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

https://doi.org/10.1007/978-3-030-33246-4

Format:

Electronic Resources

Alıntı:

Engineering -- Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Yazar

Furia, Carlo A. editor.

https://doi.org/10.1007/978-3-319-98938-9

Format:

Electronic Resources

Alıntı:

Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

https://doi.org/10.1007/978-3-030-01461-2

Format:

Electronic Resources

Alıntı:

Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03421-4

Format:

Electronic Resources

Alıntı:

: Collaborative Partners -- A Language-Independent Program Verification Framework -- Programming Safe Robotics

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}