Search Results for Control.

50 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

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

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

https://doi.org/10.1007/978-3-030-32872-6

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

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.

Towards Paraconsistent Engineering

Yazar

Akama, Seiki. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor.

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

Format:

Electronic Resources

Alıntı:

cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Yazar

Tuosto, Emilio. editor.

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

Format:

Electronic Resources

Alıntı:

control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Yazar

Zamani, Majid. editor.

https://doi.org/10.1007/978-3-030-28423-7

Format:

Electronic Resources

Alıntı:

Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification

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

10.

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

11.

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

12.

Transactions on Foundations for Mastering Change I

Yazar

Steffen, Bernhard. editor.

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

Format:

Electronic Resources

Alıntı:

unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame

Tümünü Seç

1 2 3 4 5

50 sonuç bulundu

	{displayName}	{count}
{error}