Languages
Baier, Christel.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
(1998 :); Baier, Christel.; Caires, Luis.; SpringerLink (Online service)
(Electronic resources)
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
(Language materials, printed)
Foundations of software science and computation structures21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
(1998 :); Baier, Christel.; Dal Lago, Ugo.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(1998 :); Baier, Christel.; SpringerLink (Online service); Tinelli, Cesare.
(Electronic resources)
Validation of stochastic systemsa guide to current research /
by:
Baier, Christel.; SpringerLink (Online service)
(Electronic resources)
CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /
by:
(1998 :); Baier, Christel.; Hermanns, Holger.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Stochastic analysis.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Computation by Abstract Devices.
Programming Techniques.
Computer systems
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Programming Languages, Compilers, Interpreters.
System design
Formal methods (Computer science)
Stochastic systems.
The Computing Profession.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
Stochastic processes.
System Performance and Evaluation.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer System Implementation.
System analysis