Inproceedings,

XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems.

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , and .
FPL, page 382-383. IEEE, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews