Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product
Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control
View Other Search Results
Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
authentication; usability & risk perception; access control; computer security; privacy attacks; cryptography.
Yazar
Smith, Ian F. C. editor.
Format:
Electronic Resources
Alıntı:
Design Support -- Monitoring and Control Algorithms in Engineering -- BIM and Engineering Ontologies.
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space
Yazar
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
Format:
Electronic Resources
Alıntı:
Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
researchers and practitioners in the areas of verification, control, performance, and dependability evaluation
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
; program development; security analysis; analysis and transformation; and concurrency and control.
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Train Control System under a Combined Scenario by Theorem Proving -- Formal Verification of Loop Bound
Yazar
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
Method -- Experimental Biological Protocols with Formal Semantics -- Robust Data-Driven Control of
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Decentralised Control Loops -- Model-Based Adaptation of Software Communicating via FIFO Buffers -- Lazy TSO
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow
Arama Sonuçlarını Sınırlandır
Daraltılmış: