A Suite of Tools for Debugging Distributed Autonomous Systems

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

ISSN: 0925-9856

Année de publication: 2004

Volumen: 24

Número: 2

Pages: 157-188

Type: Communication dans un congrès

DOI: 10.1023/B:FORM.0000017720.64153.57 GOOGLE SCHOLAR
La source de données: Scopus