Search Results for Control.

59 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

Logical Foundations of Cyber-Physical Systems

Yazar

Platzer, André. author.

https://doi.org/10.1007/978-3-319-63588-0

Format:

Electronic Resources

Alıntı:

Control, Robotics, Mechatronics. http://scigraph.springernature.com/things/product-market-codes/T

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor.

https://doi.org/10.1007/978-3-030-35540-1

Format:

Electronic Resources

Alıntı:

Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Yazar

Fränzle, Martin. editor.

http://dx.doi.org/10.1007/978-3-319-44878-7

Format:

Electronic Resources

Alıntı:

are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control

Introduction to Mathematica® with Applications

Yazar

Mureşan, Marian. author.

https://doi.org/10.1007/978-3-319-52003-2

Format:

Electronic Resources

Alıntı:

with optimal control problems Introduction to Mathematica® with Applications will appeal to researchers

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Yazar

Desmedt, Yvo. editor.

http://dx.doi.org/10.1007/978-3-319-27659-5

Format:

Electronic Resources

Alıntı:

authentication; usability & risk perception; access control; computer security; privacy attacks; cryptography.

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

Yazar

Smith, Ian F. C. editor.

https://doi.org/10.1007/978-3-319-91638-5

Format:

Electronic Resources

Alıntı:

Design Support -- Monitoring and Control Algorithms in Engineering -- BIM and Engineering Ontologies.

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Yazar

Bošnački, Dragan. editor.

http://dx.doi.org/10.1007/978-3-319-32582-8

Format:

Electronic Resources

Alıntı:

Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Yazar

Larsen, Kim Guldstrand. editor.

http://dx.doi.org/10.1007/978-3-319-45994-3

Format:

Electronic Resources

Alıntı:

-- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using

10.

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Yazar

Câmpeanu, Cezar. editor.

http://dx.doi.org/10.1007/978-3-319-41114-9

Format:

Electronic Resources

Alıntı:

Control -- Descriptional Complexity of Graph-controlled Insertion-deletion Systems -- Operations on Weakly

11.

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Yazar

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

https://doi.org/10.1007/978-3-030-00359-3

Format:

Electronic Resources

Alıntı:

researchers and practitioners in the areas of veriﬁcation, control, performance, and dependability evaluation

12.

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Yazar

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

https://doi.org/10.1007/978-3-319-92402-1

Format:

Electronic Resources

Alıntı:

Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of

Tümünü Seç

1 2 3 4 5

59 sonuç bulundu

	{displayName}	{count}
{error}