Implementation Relations for Distributed Testing

Bibliographische Detailangaben

Veröffentlicht in:	Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products
1. Verfasser:	Hierons, Robert M. (VerfasserIn)
Weitere Verfasser:	Merayo, Mercedes G. (VerfasserIn), Núñez, Manuel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!