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...International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.211-235
2018
Volltextzugriff (PDF)
Software, practice & experience, 2019-03, Vol.49 (3), p.478-497
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2020-12, Vol.22 (6), p.667-683
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-08, Vol.187 (Proc. F-IDE 2015), p.14-27
2015
Volltextzugriff (PDF)
Formal aspects of computing, 2022-07, Vol.34 (1), p.1-39
2022
Volltextzugriff (PDF)
FM 2016: Formal Methods, 2016, Vol.9995, p.344-351
2016
Volltextzugriff (PDF)
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), 2020, p.98-108
2020
Volltextzugriff (PDF)
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019, p.1-11
2019
Volltextzugriff (PDF)
Innovative Security Solutions for Information Technology and Communications, 2019, Vol.11359, p.71-84
2019
Volltextzugriff (PDF)
Simulation and Modeling Methodologies, Technologies and Applications, 2017, Vol.676, p.19-33
2017
Volltextzugriff (PDF)
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2018, p.89-97
2018
Volltextzugriff (PDF)
2019 Global IoT Summit (GIoTS), 2019, p.1-6
2019
Volltextzugriff (PDF)
2015 12th Working IEEE/IFIP Conference on Software Architecture, 2015, p.145-154
2015
Volltextzugriff (PDF)
2016 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), 2016, p.1-8
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Formal Verification
- Model Checking
- Control Systems
- Vdm
- Code Generation
- Formal Methods
- Software Engineering
- Analytical Models
- Combinatorial Testing
- Computer Science, Interdisciplinary Applications
- Cyber Security
- Java
- Modelling
- Security
- Software
Kollektion
- IEEE Electronic Library (IEL)
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Springer Book Series
- SpringerLink Journals (MCLS)
- EZB Electronic Journals Library
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Software, Practice & Experience
- Software, Practice & Experience/software, Practice And Experience