Languages
Olveczky, Peter Csaba.
Overview
| Works: | 2 works in 11 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
Braga, Christiano.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Meseguer, Jose.; Marti-Oliet, Narciso.; Olveczky, Peter Csaba.; Talcott, Carolyn.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for safety-critical systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service); FTSCS (Workshop) (2016 :)
(Electronic resources)
Theoretical aspects of computing - ICTAC 2021 = 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings /
by:
ICTAC (Colloquium) (2021 :); Cerone, Antonio.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /
by:
Olveczky, Peter Csaba.; SpringerLink (Online service)
(Language materials, printed)
Formal techniques for safety-critical systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service); FTSCS (Workshop) (2018 :)
(Electronic resources)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
Arbab, Farhad.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2019 :); Olveczky, Peter Csaba.; SpringerLink (Online service); Salaun, Gwen.
(Electronic resources)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Show more
Fewer
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Computer logic.
Computer multitasking.
Electronic data processing- Distributed processing.
Theory of Computation.
Input/Output and Data Communications.
Logics and Meanings of Programs.
Component software
Systems engineering
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Computer logic
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer software- Development.
Models and Principles.
Artificial Intelligence.
Computer science
Computer Science.
Computer science.
Simulation and Modeling.
Computer Communication Networks.
System Performance and Evaluation.
System safety
Computer Applications.