Search Results for Systems Theory, Control.

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ı:

Management of Computing and Information Systems.

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Yazar

Devitt, Simon. editor.

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

Format:

Electronic Resources

Alıntı:

-- Circuit Theory -- Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Yazar

de Boer, Frank. editor.

https://doi.org/10.1007/978-3-319-90089-6

Format:

Electronic Resources

Alıntı:

-- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Yazar

De Nicola, Rocco. editor.

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

Format:

Electronic Resources

Alıntı:

Subgraph Control-Flow Information (short paper) -- Program Analysis -- Correlating Structured Inputs and

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor.

http://dx.doi.org/10.1007/978-3-662-49630-5

Format:

Electronic Resources

Alıntı:

2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

https://doi.org/10.1007/978-3-030-00244-2

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

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

Format:

Electronic Resources

Alıntı:

Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based

	{displayName}	{count}
{error}