Sortiert nach
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, p.280-294
Link zum Volltext
Software and systems modeling, 2023-08, Vol.22 (4), p.1319-1340
2023
Link zum Volltext
Software and systems modeling, 2022-12, Vol.21 (6), p.2171-2211
2022
Link zum Volltext
Software and systems modeling, 2019-10, Vol.18 (5), p.3005-3023
2019
Link zum Volltext
Computer (Long Beach, Calif.), 2014-06, Vol.47 (6), p.68-71
2014
- Link zum Volltext
Objects, Models, Components, Patterns, p.34-41
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, p.504-520
Link zum Volltext
Computer (Long Beach, Calif.), 2014-06, p.10-13
2014
Link zum Volltext
2016 Architecture-Centric Virtual Integration (ACVI), 2016, p.12-18
2016
Link zum Volltext
Structured Object-Oriented Formal Language and Method, p.32-51
Link zum Volltext
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, p.313-316
2015
- Link zum Volltext
2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2011, p.141-148
2011
- Link zum Volltext
CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations
2020
Link zum Volltext
Innovations in systems and software engineering, 2010-03, Vol.6 (1-2), p.99-106
2010
Link zum Volltext
Software Architecture, 2014, Vol.8627, p.146-153
2014
Link zum Volltext
Dependable Software Engineering: Theories, Tools, and Applications, 2016, Vol.9984, p.18-37
2016
Link zum Volltext
2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012, p.17-20
2012
- Link zum Volltext
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015, p.313-316
2015
Link zum Volltext
2019 Forum for Specification and Design Languages (FDL), 2019, p.1-4
2019
Link zum Volltext
Design automation for embedded systems, 2015-03, Vol.19 (1-2), p.1-33
2015
Link zum Volltext
2023 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2023 - 2023 Conference of the GI Software Engineering Division, Software Engineering 2023, Paderborn, Germany, 2023, Vol.P-332, p.69
2023
Link zum Volltext
Globalizing Domain-Specific Languages, 2015, Vol.9400, p.70-87
2015
Link zum Volltext
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021, p.317-321
2021
Link zum Volltext
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011, p.50-57
2011
Link zum Volltext
Software Technologies: Applications and Foundations, p.5-20
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Embedded Systems
- Clocks
- Computer Science, Theory & Methods
- Software Engineering
- Engineering
- Semantics
- Unified Modeling Language
- Engineering, Electrical & Electronic
- Analytical Models
- Coordination
- Logical Time
- Marte
- Automata
- Co-Simulation
- Computational Modeling
- Computer Science, Hardware & Architecture
Kollektion
- IEEE Electronic Library Online
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Journals@Ovid Ovid Full Text
- IngentaConnect Journals