Search Results for Automation.

Isochronous Wireless Network for Real-time Communication in Industrial Automation

Yazar

Trsek, Henning. author.

http://dx.doi.org/10.1007/978-3-662-49158-4

Format:

Electronic Resources

Alıntı:

Technologien für die intelligente Automation, Technologies for Intelligent Automation

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example

Yazar

Wisniewski, Lukasz. author.

https://doi.org/10.1007/978-3-662-54650-5

Format:

Electronic Resources

Alıntı:

Technologien für die intelligente Automation, Technologies for Intelligent Automation,

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Yazar

Itsykson, Vladimir. editor.

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

Format:

Electronic Resources

Alıntı:

selected from 51 submissions. The papers deal with topics such as software test automation, static program

Mobile Networks and Management 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016, Proceedings

Yazar

Agüero, Ramón. editor.

https://doi.org/10.1007/978-3-319-52712-3

Format:

Electronic Resources

Alıntı:

Cascaded Wired / Wireless Communication Networks for Factory Automation -- Network Topology Exploration for

Passive and Active Measurement 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

Yazar

Karagiannis, Thomas. editor.

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

Format:

Electronic Resources

Alıntı:

/1 Traces -- Behind Box-Office Sales: Understanding Automation Spam in Online Classifieds -- Towards

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

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

Format:

Electronic Resources

Alıntı:

Introduction to the Hipster System -- Automating Formalization by Statistical and Semantic Parsing of

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Norman, Gethin. editor.

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

Format:

Electronic Resources

Alıntı:

Automation Power Grids -- Compositionality Results for Quantitative Information Flow -- CyberSAGE: A Tool for

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Yazar

Kunkel, Julian Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Automation Framework for Cluster Supercomputers and Data Centres.- The SIOX Architecture – Coupling Automatic

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

Yazar

Yuan, Hanning. editor.

https://doi.org/10.1007/978-981-10-3966-9

Format:

Electronic Resources

Alıntı:

Automation System Software -- Identification of Certain Shrapnel's Air Resistance Coefficient in Plateau

	{displayName}	{count}
{error}