Sortiert nach
13th International Workshop on Program Comprehension (IWPC'05), 2005, p.259-268
2005
- Link zum Volltext
Mobile Wireless Middleware, Operating Systems, and Applications - Workshops, p.98-104
Link zum Volltext
10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings, 2003, p.216-225
2003
- Link zum Volltext
Tests and Proofs, p.93-111
Link zum Volltext
2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018, p.362-369
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.174-195
Link zum Volltext
HCI and Usability for e-Inclusion, p.416-427
Link zum Volltext
Hardware and Software: Verification and Testing, p.9-22
Link zum Volltext
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2017, p.130-137
2017
Link zum Volltext
2020 IEEE Workshop on Formal Requirements (FORMREQ), 2020, p.21-27
2020
Link zum Volltext
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015, p.1-11
2015
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation, p.669-683
Link zum Volltext
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007, p.217-228
2007
- Link zum Volltext
The 2003 Congress on Evolutionary Computation, 2003. CEC '03, 2003, Vol.3, p.1848-1855 Vol.3
2003
- Link zum Volltext
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.5240-5250
2023
- Link zum Volltext
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.2373-2383
2023
- Link zum Volltext
Human-Computer Interaction – INTERACT 2011, Vol.6947, p.248-262
Link zum Volltext
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC), 2023, p.1002-1003
2023
Link zum Volltext
2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, p.370-377
2020
Link zum Volltext
2022 IEEE International Conference on Services Computing (SCC), 2022, p.164-173
2022
- Link zum Volltext
Industry Questions about Open Source Software in Business: Research Directions and Potential Answers
2014
Link zum Volltext
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2013, p.43-49
2013
- 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
- Engineering
- Engineering, Electrical & Electronic
- Computer Architecture
- Computer Science, Interdisciplinary Applications
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Software
- Software Systems
- Communities
- Computer Science, Artificial Intelligence
- Computer Vision
- Concurrency
- Costs
- Data Analysis
- Hardware