Zobrazeno 1 - 6
of 6
pro vyhledávání: ''
Autor:
Böhm, Wolfgang, Broy, Manfred, Klein, Cornel, Pohl, Klaus, Rumpe, Bernhard, Schröck, Sebastian
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/46114
Autor:
Wehrheim, Heike, Cabot, Jordi
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Confer
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/37725
Autor:
Carreira, Paulo, Amaral, Vasco, Vangheluwe, Hans
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone ent
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/37711
Autor:
Ulidowski, Irek, Lanese, Ivan, Schultz, Ulrik Pagh, Ferreira, Carla
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a E
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/39589
Autor:
Zhao, Zhiming, Hellström, Margareta
This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers w
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/41292
Autor:
Biere, Armin, Parker, David
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Par
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/37724