Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA
Yazar
Strichman, Ofer. editor.
Format:
Electronic Resources
Alıntı:
discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
View Other Search Results
Yazar
Cornélio, Márcio. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Mauw, Sjouke. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg
Yazar
Martínez, Luis. author.
Format:
Electronic Resources
Alıntı:
. Professionals and researchers working in the field of classification or fuzzy sets and systems will find The 2
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion
Yazar
Hildebrandt, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Holvoet, Tom. editor.
Format:
Electronic Resources
Alıntı:
- Distributed Complex Event Processing System for Handling Large Number of Queries.
Yazar
Ciardo, Gianfranco. editor.
Format:
Electronic Resources
Alıntı:
-- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Yazar
Grabowski, Jens. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: