Yazar
Fiadeiro, José Luiz. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Taentzer, Gabriele. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Wąsowski, Andrzej. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Combemale, Benoit. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Lanese, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Piattini, Mario. editor. (orcid)0000-0002-7212-8279
Format:
Electronic Resources
Alıntı:
Systems and Data Security. https://scigraph.springernature.com/ontologies/product-market-codes/I
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
(short paper) -- Towards a Proof Framework for Information Systems with Weak Consistency (short paper
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
-- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment
Arama Sonuçlarını Sınırlandır
Daraltılmış: