Verfasser Suchresultate :: Subito Katalog

1

Sound Concurrent Traces for Online Monitoring

von Soueidi, Chukri
Veröffentlicht in SPIN (29. : 2023 : Paris) Model checking software (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Opportunistic Monitoring of Multithreaded Programs

von Soueidi, Chukri
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: