A Suite of Tools for Debugging Distributed Autonomous Systems

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

ISSN: 0925-9856

Ano de publicación: 2004

Volume: 24

Número: 2

Páxinas: 157-188

Tipo: Achega congreso

DOI: 10.1023/B:FORM.0000017720.64153.57 GOOGLE SCHOLAR
Fonte de datos: Scopus