Search Results for Control.

59 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

25.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control

26.

The Handbook of Formal Methods in Human-Computer Interaction

Yazar

Weyers, Benjamin. editor.

https://doi.org/10.1007/978-3-319-51838-1

Format:

Electronic Resources

Alıntı:

-- Learning Safe Interactions and Full-Control -- Reasoning About Interactive Systems in Dynamic Situations of

27.

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization

Yazar

Hudec, Miroslav. author.

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

Format:

Electronic Resources

Alıntı:

conditions, while Chapter 3 focuses on linguistic summaries. Chapter 4 presents fuzzy logic control

28.

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

-- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization

29.

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

Yazar

Blesa, Maria J. editor.

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

Format:

Electronic Resources

Alıntı:

Acceleration in PSO -- Districting and Routing for Security Control -- A GRASP/VND Heuristic for a Generalized

30.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

Yazar

Hameurlain, Abdelkader. editor.

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

Format:

Electronic Resources

Alıntı:

decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and

31.

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Gnesi, Stefania. editor.

http://dx.doi.org/10.1007/978-3-642-54804-8

Format:

Electronic Resources

Alıntı:

Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete

32.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Yazar

Furia, Carlo A. editor.

https://doi.org/10.1007/978-3-319-98938-9

Format:

Electronic Resources

Alıntı:

: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software

33.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor.

https://doi.org/10.1007/978-3-319-98047-8

Format:

Electronic Resources

Alıntı:

Semantics via Strong Semantics -- Recipes for Coffee — Compositional Construction of JAVA Control Flow

34.

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

As computers increasingly control the systems and services we depend upon within our daily lives

35.

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Yazar

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

https://doi.org/10.1007/978-3-319-64468-4

Format:

Electronic Resources

Alıntı:

Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and

36.

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II

Yazar

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

https://doi.org/10.1007/978-3-319-64471-4

Format:

Electronic Resources

Alıntı:

Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and

Tümünü Seç

1 2 3 4 5

59 sonuç bulundu

	{displayName}	{count}
{error}