A Suite of Tools for Debugging Distributed Autonomous Systems

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

ISSN: 0925-9856

Datum der Publikation: 2004

Ausgabe: 24

Nummer: 2

Seiten: 157-188

Art: Konferenz-Beitrag

DOI: 10.1023/B:FORM.0000017720.64153.57 GOOGLE SCHOLAR
Datenquelle: Scopus