Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

Steffen, Martin.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: Steffen, Martin.; Zavattaro, Gianluigi.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :) (Language materials, printed)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; Steffen, Martin.; SpringerLink (Online service) (Language materials, printed)
Formal methods for open object-based distributed systems : = 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / by: Steffen, Martin.; Zavattaro, Gianluigi.; IFIP Working Group 6.1.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2005 :) (Language materials, printed)
Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: Steffen, Martin.; SpringerLink (Online service); International Workshop on the Foundations of Coordination Languages and Software Architectures (2019 :); CIFMA (Workshop) ((2019 :); International Conference on Software Engineering and Formal Methods (2019 :); Camara, Javier.; CoSim-CPS (Workshop) (2019 :); ASYDE (Workshop) ((2019 :) (Electronic resources)
 
 
Change password
Login