A Suite of Tools for Debugging Distributed Autonomous Systems

  1. Kortenkamp, D.
  2. Simmons, R.
  3. Milam, T.
  4. Fernández, J.L.
Aldizkaria:
Formal Methods in System Design

ISSN: 0925-9856

Argitalpen urtea: 2004

Alea: 24

Zenbakia: 2

Orrialdeak: 157-188

Mota: Biltzar ekarpena

DOI: 10.1023/B:FORM.0000017720.64153.57 GOOGLE SCHOLAR