Sortiert nach
2019 56th ACM/IEEE Design Automation Conference (DAC), 2019, p.1-6
2019
Link zum Volltext
2015 IEEE 39th Annual Computer Software and Applications Conference, 2015, Vol.2, p.5-14
2015
- Link zum Volltext
Web Information Systems Engineering – WISE 2019, p.228-242
Link zum Volltext
Web Information Systems Engineering – WISE 2019, p.243-258
Link zum Volltext
FM 2016: Formal Methods, p.757-763
Link zum Volltext
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, p.904-907
2015
- Link zum Volltext
Rewriting Logic and Its Applications, p.157-173
Link zum Volltext
2016 13th International Conference on Embedded Software and Systems (ICESS), 2016, p.170-175
2016
Link zum Volltext
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022, p.891-896
2022
- Link zum Volltext
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE), 2022, p.61-72
2022
- Link zum Volltext
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
2021
Link zum Volltext
Natural Language Processing and Chinese Computing, p.93-104
Link zum Volltext
Proceedings of the 7th ACM/SPEC on international conference on performance engineering, 2016, p.159-166
2016
Link zum Volltext
2014 International Conference on Embedded Software (EMSOFT), 2014, p.1-10
2014
Link zum Volltext
2021 IEEE International Conference on Multimedia & Expo Workshops (ICMEW), 2021, p.1-6
2021
Link zum Volltext
2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007), 2007, p.104-110
2007
- Link zum Volltext
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC), 2013, p.279-284
2013
- Link zum Volltext
Lecture notes in computer science, 2006, p.394-404
2006
Link zum Volltext
2013 Proceedings of the International Conference on Embedded Software (EMSOFT), 2013, p.1-10
2013
Link zum Volltext
Embedded and Ubiquitous Computing, 2006, p.1027-1036
2006
Link zum Volltext
Embedded and Ubiquitous Computing, 2006, p.610-619
2006
Link zum Volltext
Embedded and Ubiquitous Computing, 2006, p.479-488
2006
Link zum Volltext
Lecture notes in computer science, 2006, p.110-120
2006
Link zum Volltext
Embedded and Ubiquitous Computing, 2006, p.672-681
2006
Link zum Volltext
Embedded and Ubiquitous Computing, 2006, p.1158-1165
2006
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Hardware & Architecture
- Engineering
- Engineering, Electrical & Electronic
- Software
- Computer Science, Information Systems
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Telecommunications
- Computer Systems And Distributed Systems. User Interface
- Real Time Systems
- Safety
- Processor Scheduling
- Software Engineering
Kollektion