NASA NTRS · 20220001961
Modeling and Analysis of Robotic Systems Using the K Specification Language
Abstract
UNKNOWN
Keep this discovery
Explore connections, maps & timelines
Havelund, Klaus, Clement, Bradley J.. 2020-11-16. Modeling and Analysis of Robotic Systems Using the K Specification Language. https://ntrs.nasa.gov/citations/20220001961
Cite the original work for its findings. Save a collection to share your selection of sources.