HCSP

swMATH2577MaRDI QIDQ15116FDOQ15116

Author name not available (Why is that?)

Official website: http://books.google.de/books?hl=de&lr=&id=mX-BCoP37BEC&oi=fnd&pg=PA133&dq=HCSP:+Extending+CSP+for+codesign+and+shared+memory&ots=PJaMmOuwy6&sig=MtqgncJCm74xWQkN-HK8jD-K8C0#v=onepage&q=HCSP%3A%20Extend

Cited In (2)

• Safety verification of trajectory planning for multiple robots
• HProver

This page was built for software: HCSP