Sortiert nach
The Journal of systems and software, 2020-08, Vol.166, p.110575, Article 110575
2020
Link zum Volltext
2016 IEEE 14th International Conference on Industrial Informatics (INDIN), 2016, p.397-404
2016
Link zum Volltext
Journal of computer languages (Online), 2022-04, Vol.69, p.101087, Article 101087
2022
Link zum Volltext
Journal of software : evolution and process, 2017-12, Vol.29 (12), p.n/a
2017
Link zum Volltext
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018, Vol.1, p.27-34
2018
- Link zum Volltext
2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 2019, Vol.1, p.470-477
2019
Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2020, p.152-161
2020
Link zum Volltext
Journal of diabetes science and technology, 2010-03, Vol.4 (2), p.263-283
2010
Link zum Volltext
2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, p.1445-1448
2019
- Link zum Volltext
2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, p.87-94
2019
- Link zum Volltext
2013 20th Asia-Pacific Software Engineering Conference (APSEC), 2013, Vol.1, p.148-155
2013
- Link zum Volltext
Journal of diabetes science and technology, 2011-11, Vol.5 (6), p.1403-1419
2011
Link zum Volltext
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-5
2017
- Link zum Volltext
Computer (Long Beach, Calif.), 2006-04, Vol.39 (4), p.61-67
2006
- Link zum Volltext
2013 11th IEEE International Conference on Industrial Informatics (INDIN), 2013, p.558-563
2013
Link zum Volltext
FM 2015: Formal Methods, p.585-588
Link zum Volltext
2009 31st International Conference on Software Engineering - Companion Volume, 2009, p.141-151
2009
- Link zum Volltext
Biomedical instrumentation & technology, 2010-01, Vol.44 (1), p.51
2010
Link zum Volltext
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013, p.1-8
2013
- Link zum Volltext
2023 IEEE 2nd Industrial Electronics Society Annual On-Line Conference (ONCON), 2023, p.1-6
2023
Link zum Volltext
Proceedings of the 2008 workshop on static analysis, 2008, p.22-29
2008
Link zum Volltext
Computer (Long Beach, Calif.), 2006, Vol.39 (4), p.61-67
2006
Link zum Volltext
Biomedical instrumentation & technology, 2010-11, Vol.44 (6), p.507
2010
Link zum Volltext
SIGBED review, 2009-07, Vol.6 (2), p.1-7, Article 1
2009
Link zum Volltext
Biomedical instrumentation & technology, 2010, Vol.Suppl Home Healthcare, p.21
2010
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Software
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Iec Standards
- Testing
- Automation
- Automation & Control Systems
- Drugs
- Safety
- Static Analysis
- Computer Science, Theory & Methods
- Control Systems
- Humans
- Industrial Automation
- Software Engineering
- Abstract Interpretation
Kollektion
- IEEE Electronic Library (IEL)
- ACM Digital Library Complete
- Ingenta
- MEDLINE
- Elektronische Zeitschriftenbibliothek
- Journals@Ovid Complete
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- Springer Books
- SAGE Complete
- Publisher or Other Site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
Zeitschrift / Serie
Neu hinzugefügt