Languages
Olveczky, Peter Csaba.
Overview
| Works: | 1 works in 7 publications in 1 languages | |
|---|---|---|
Titles
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bae, Kyungmin.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Language materials, printed)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.
(Language materials, printed)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Braga, Christiano.; SpringerLink (Online service); Olveczky, Peter Csaba.
(Language materials, printed)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Marti-Oliet, Narciso.; SpringerLink (Online service); Olveczky, Peter Csaba.; Talcott, Carolyn.; Meseguer, Jose.
(Language materials, printed)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
Olveczky, Peter Csaba.; SpringerLink (Online service); Artho, Cyrille.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Artho, Cyrille.; SpringerLink (Online service); Olveczky, Peter Csaba.
(Language materials, printed)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.; Workshop on the Preservation of Stability under Discretization ((2001 :); Arbab, Farhad.
(Language materials, printed)
Subjects
Formal methods (Computer science)
Computer Communication Networks.
Programming Techniques.
Component software
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Systems engineering
Computer multitasking.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
System safety
Computer Science.
Management of Computing and Information Systems.
Simulation and Modeling.
Electronic data processing
Computer science.
Computer software
Computation by Abstract Devices.