Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Big data and cognitive computing, 2024-09, Vol.8 (9), p.98
2024
Volltextzugriff (PDF)
Baltic Journal of Modern Computing, 2022, Vol.10 (4), p.710-737
2022
Volltextzugriff (PDF)
Microprocessors and microsystems, 2016-05, Vol.42, p.37-48
2016
Volltextzugriff (PDF)
Proceedings of the Estonian Academy of Sciences, 2017-01, Vol.66 (1), p.75-75
2017
Volltextzugriff (PDF)
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-6
2017
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2020, Vol.12310, p.41-59
2020
Volltextzugriff (PDF)
1st Edition 2021, 2021
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, Vol.12071, p.186-202
2020
Volltextzugriff (PDF)
A Systematic Approach on Modeling Refinement and Regression Testing of Real-Time Distributed Systems
2019
Volltextzugriff (PDF)
Software Technologies, 2017, Vol.743, p.45-67
2017
Volltextzugriff (PDF)
Energy and buildings, 2016-09, Vol.127, p.953-968
2016
Volltextzugriff (PDF)
Future generation computer systems, 2019-06, Vol.95, p.354-363
2019
Volltextzugriff (PDF)
Journal of reliable intelligent environments, 2020-03, Vol.6 (1), p.15-30
2020
Volltextzugriff (PDF)
IFAC-PapersOnLine, 2019, Vol.52 (19), p.229-234
2019
Volltextzugriff (PDF)
Computers in industry, 2015-12, Vol.74, p.186-200
2015
Volltextzugriff (PDF)
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022, p.1-4
2022
Volltextzugriff (PDF)
Proceedings of the Estonian Academy of Sciences, 2017-03, Vol.66 (1), p.75
2017
Volltextzugriff (PDF)
Proceedings of the Estonian Academy of Sciences, 2011-03, Vol.60 (1), p.48
2011
Volltextzugriff (PDF)
2015 European Conference on Mobile Robots (ECMR), 2015, p.1-7
2015
Volltextzugriff (PDF)
Formal Approaches to Software Testing and Runtime Verification, 2006, p.85-99
2006
Volltextzugriff (PDF)
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2023, p.159-164
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Engineering
- Model-Based Testing
- Engineering, Electrical & Electronic
- Formal Methods
- Verification
- Automation & Control Systems
- Software Engineering
- Automata
- Model Checking
- Uppaal Timed Automata
- Robots
- Software
- Testing
- Timed Automata
- Model Check
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- SpringerLink Series
- ScienceDirect eBooks
- IEEE Electronic Library Online
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Taylor & Francis eBooks A-Z
- Springer Nature - Complete Springer Journals
Zeitschrift / Serie
- Ifac Proceedings Volumes
- Proceedings Of The Estonian Academy Of Sciences
- Information & Security
- Information & Security: An International Journal
- Baltic Journal Of Modern Computing
- Big Data And Cognitive Computing
- Cars 2005: Computer Assisted Radiology And Surgery
- Computers In Industry
- Computing
- Elsevier Science
Neu hinzugefügt