Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122
Hosted By Universitätsbibliothek TU Berlin
Journal Help
User
Username
Password
Remember me
Journal Content
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Other Journals
Information
For Readers
For Authors
For Librarians
Home
About
Login
Register
Search
Current
Archives
Templates
Home
>
Archives
Archives
2023
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022
2022
Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021
2021
Volume 80: Conference on Networked Systems 2021 (NetSys 2021)
2020
Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
2019
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018
Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018)
2018
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017)
2017
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016)
2016
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015
2015
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
Volume 71: Graph Computation Models 2014
2014
Volume 70: Automated Verification of Critical Systems 2014
Volume 69: Formal Methods for Interactive Systems 2013
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)
Volume 66: Automated Verification of Critical Systems 2013
Volume 65: Software Quality and Maintainability 2014
Volume 64: Programming and Computer Languages 2013
Volume 63: Software Clones 2014
2013
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner
Volume 61: Graph Computation Models 2012
Volume 60: Software Quality and Maintainability 2013
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
Volume 57: Bidirectional Transformations 2013
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013
Volume 55: Programming and Computer Languages 2012
2012
Volume 54: Graph-Based Tools 2012
Volume 53: Automated Verification of Critical Systems 2012
Volume 52: Software Modeling in Education 2011
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012
Volume 50: Multi-Paradigm Modeling 2011
Volume 49: Bidirectional Transformations 2012
Volume 48: Foundations and Techniques for Open Source Software Certification 2011
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
Volume 46: Automated Verification of Critical Systems 2011
2011
Volume 45: Formal Methods for Interactive Systems 2011
Volume 44: OCL and Textual Modelling 2011
Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011
Volume 42: Multi-Paradigm Modeling 2010
Volume 41: Graph Transformation and Visual Modeling Techniques 2011
Volume 40: Petri Nets and Graph Transformations 2010
Volume 39: Graph Computation Models 2010
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium
Volume 37: Kommunikation in Verteilten Systemen 2011
2010
Volume 36: OCL and Textual Modelling
Volume 35: Automated Verification of Critical Systems 2010
Volume 34: Software Modeling in Education at MODELS 2010
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
Volume 32: Graph-Based Tools 2010
Volume 31: Visual Formalisms for Patterns 2010
Volume 30: Graph and Model Transformation 2010
Volume 29: Graph Transformation and Visual Modeling Techniques 2010
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010
Volume 26: Manipulation of Graphs, Algebras and Pictures
Volume 25: Visual Formalisms for Patterns 2009
2009
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
Volume 23: Automated Verification of Critical Systems 2009
1 - 60 of 82 Items
1
2
>
>>
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST
