Sortiert nach
1st ed. 2018 edition., 2018
Volltextzugriff (PDF)
IET cyber-physical systems, 2016-12, Vol.1 (1), p.49-59
2016
Volltextzugriff (PDF)
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.974-979
2021
Volltextzugriff (PDF)
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019, p.61-66
2019
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2017-03, Vol.36 (3), p.475-488
2017
Volltextzugriff (PDF)
Computer languages, systems & structures, 2018-12, Vol.54, p.512-527
2018
Volltextzugriff (PDF)
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL), 2016, p.44-49
2016
Volltextzugriff (PDF)
2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012, p.69-74
2012
Volltextzugriff (PDF)
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015, p.1-6
2015
Volltextzugriff (PDF)
Model-Driven Engineering and Software Development, 2019, Vol.991, p.259-283
2019
Volltextzugriff (PDF)
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023, p.23-30
2023
Volltextzugriff (PDF)
17th Asia and South Pacific Design Automation Conference, 2012, p.85-92
2012
Volltextzugriff (PDF)
2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015, p.171-176
2015
Volltextzugriff (PDF)
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016, p.261-271
2016
Volltextzugriff (PDF)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015, p.176-185
2015
Volltextzugriff (PDF)
2015 Euromicro Conference on Digital System Design, 2015, p.359-366
2015
Volltextzugriff (PDF)
Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, 2015, p.176-185
2015
Volltextzugriff (PDF)
2013 Africon, 2013, p.1-6
2013
Volltextzugriff (PDF)
Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016, p.78-84
2016
Volltextzugriff (PDF)
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2016, p.78-84
2016
Volltextzugriff (PDF)
2016 Sixth International Symposium on Embedded Computing and System Design (ISED), 2016, p.18-23
2016
Volltextzugriff (PDF)
2015 Euromicro Conference on Digital System Design, 2015, p.375-382
2015
Volltextzugriff (PDF)
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2016, p.65-70
2016
Volltextzugriff (PDF)
Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016, p.65-70
2016
Volltextzugriff (PDF)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, 2018, p.159-181
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Unified Modeling Language
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Integrated Circuit Modeling
- Computational Modeling
- Logic Gates
- Conferences
- Boolean Functions
- Complex Systems
- Computer Science, Information Systems
- Computer Science, Theory & Methods
- Context
- Design Engineering
- Logic
- Quantum Computing
- Science & Technology - Other Topics
Kollektion