語系
Olveczky, Peter Csaba.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.