Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.382-402
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-03, Vol.205 (Proc. FESCA 2016), p.16-30
2016
Volltextzugriff (PDF)
1991
Volltextzugriff (PDF)
Science of computer programming, 2024-03, Vol.233, p.103067, Article 103067
2024
Volltextzugriff (PDF)
Integrated Formal Methods, p.311-325
Volltextzugriff (PDF)
Computer Science and Information Systems, 2021-10, Vol.18 (3), p.657-686
2021
Volltextzugriff (PDF)
2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS), 2018, p.1075-1080
2018
Volltextzugriff (PDF)
2015 Federated Conference on Computer Science and Information Systems (FedCSIS), 2015, p.781-788
2015
Volltextzugriff (PDF)
Theory and Practice of Formal Methods, p.277-293
Volltextzugriff (PDF)
Theory and Practice of Model Transformations, p.66-81
Volltextzugriff (PDF)
Empirical software engineering : an international journal, 2014-08, Vol.19 (4), p.1169-1194
2014
Volltextzugriff (PDF)
Quantitative Evaluation of Systems, p.3-18
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2016-02, Vol.18 (1), p.93-108
2016
Volltextzugriff (PDF)
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2023, p.15-31
2023
Volltextzugriff (PDF)
FM 2006: Formal Methods, 2006, p.147-162
2006
Volltextzugriff (PDF)
ModelEd, TestEd, TrustEd, p.335-356
Volltextzugriff (PDF)
FM 2015: Formal Methods, p.605-608
Volltextzugriff (PDF)
Computer Performance Engineering, p.208-224
Volltextzugriff (PDF)
2017 IEEE 7th Annual Computing and Communication Workshop and Conference (CCWC), 2017, p.1-6
2017
Volltextzugriff (PDF)
Software and systems modeling, 2008-05, Vol.7 (2), p.131-155
2008
Volltextzugriff (PDF)
2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2017, p.247-251
2017
Volltextzugriff (PDF)
Models in Software Engineering, p.225-236
Volltextzugriff (PDF)
Measurement, Modelling and Evaluation of Computing Systems, p.295-301
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.241-249
2004
Volltextzugriff (PDF)
Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021, p.21-30
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Co-Simulation
- Parallel Composition
- Programming Languages
- Hla
- Object Oriented Modeling
- Real-Time
- Component-Based Development
- Computer Science, Information Systems
- Cyber-Physical Systems
- Dsl
Kollektion
- Ingenta Connect
- SpringerLink Series
- IEEE
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- ACM Digital Library
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
Zeitschrift / Serie
- Real-Time Systems
- Science Of Computer Programming
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- International Journal On Software Tools For Technology Transfer
- Computer Science And Information Systems
- Electronic Proceedings In Theoretical Computer Science
- Empirical Software Engineering : An International Journal
- Software And Systems Modeling