Search Results for Automation.

30 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Metasynthetic Computing and Engineering of Complex Systems

Yazar

Cao, Longbing. author.

http://dx.doi.org/10.1007/978-1-4471-6551-4

Format:

Electronic Resources

Alıntı:

Robotics and Automation.

RoboCup 2015: Robot World Cup XIX

Yazar

Almeida, Luis. editor.

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

Format:

Electronic Resources

Alıntı:

Robotics and Automation.

RoboCup 2013: Robot World Cup XVII

Yazar

Behnke, Sven. editor.

http://dx.doi.org/10.1007/978-3-662-44468-9

Format:

Electronic Resources

Alıntı:

Robotics and Automation.

RoboCup 2014: Robot World Cup XVIII

Yazar

Bianchi, Reinaldo A. C. editor.

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

Format:

Electronic Resources

Alıntı:

Robotics and Automation.

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Yazar

Weyns, Danny. editor.

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

Format:

Electronic Resources

Alıntı:

and green -- Agile and smart Systems -- Analysis and automation -- Services and ecosystems.

Multilevel Business Processes Modeling and Data Analysis

Yazar

G. Schuetz, Christoph. author.

http://dx.doi.org/10.1007/978-3-658-11084-0

Format:

Electronic Resources

Alıntı:

Automation Multilevel Business Process Intelligence Target Groups Researchers and students in business

Autonomy Requirements Engineering for Space Missions

Yazar

Vassev, Emil. author.

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

Format:

Electronic Resources

Alıntı:

and the use of automation and robotic technologies where possible. Autonomy in space helps to increase

Automatic Generation of Combinatorial Test Data

Yazar

Zhang, Jian. author.

http://dx.doi.org/10.1007/978-3-662-43429-1

Format:

Electronic Resources

Alıntı:

Automatic Generation of Combinatorial Test Data Zhang, Jian. author.

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

10.

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

Yazar

Jureta, Ivan. author.

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

Format:

Electronic Resources

Alıntı:

1 Requirements Problem Solving -- 2 Problem Solving Automation -- 3 Problem and Solution Concepts

11.

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

Yazar

Śmiałek, Michał. author.

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

Format:

Electronic Resources

Alıntı:

Language (RSL) that allows precision and formality, which eventually permits automation of the process of

12.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor.

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

Format:

Electronic Resources

Alıntı:

Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation

	{displayName}	{count}
{error}