Search Results for Control.

52 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

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.

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

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

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

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

10.

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

11.

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Yazar

Albert, Elvira. editor.

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

Format:

Electronic Resources

Alıntı:

; program development; security analysis; analysis and transformation; and concurrency and control.

12.

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author.

http://dx.doi.org/10.1007/978-1-4939-0369-6

Format:

Electronic Resources

Alıntı:

Grammar Systems -- Self-Regulating Automata -- Automata Regulated by Control Languages -- Jumping Finite

Tümünü Seç

1 2 3 4 5

52 sonuç bulundu

	{displayName}	{count}
{error}