Suchergebnisse - Jafaar, Azmi Bin | OPAC THWS

1

PUTRACOM: A Concurrent Component Model With Exogenous Connectors von Nejati, Faranak, Ghani, Abdul Azim Abd, Keng Yap, Ng, Jafaar, Azmi Bin

Veröffentlicht in IEEE access

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Handling State Space Explosion in Component-Based Software Verification: A Review von Nejati, Faranak, Ghani, Abdul Azim Abd, Yap, Ng Keng, Jafaar, Azmi Bin

Veröffentlicht in IEEE access

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: