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...Software testing, verification & reliability, 2020-03, Vol.30 (2), p.n/a
2020
Volltextzugriff (PDF)
Formal aspects of computing, 2024-03
2024
Volltextzugriff (PDF)
Journal of software : evolution and process, 2018-05, Vol.30 (5), p.n/a
2018
Volltextzugriff (PDF)
Software, practice & experience, 2011-02, Vol.41 (2), p.155-166
2011
Volltextzugriff (PDF)
Automated software engineering, 2009-12, Vol.16 (3-4), p.415-454
2009
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.191-200
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.61-79
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.241-247
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.181-190
Volltextzugriff (PDF)
Software Architecture. ECSA 2022 Tracks and Workshops, p.467-482
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.61-76
- Arcaini, Paolo
- Bonfanti, Silvia
- Gargantini, Angelo
- Riccobene, Elvinia
- Scandurra, Patrizia
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2001-07, Vol.10 (3), p.255-307
2001
Volltextzugriff (PDF)
Software Engineering — ESEC/FSE'97, 2005, p.211-226
2005
Volltextzugriff (PDF)
2009 Fourth International Conference on Software Engineering Advances, 2009, p.86-92
2009
Volltextzugriff (PDF)
Aktive Filter
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
- Abstract State Machines
- Software
- Computer Software
- Congresses
- Event-B
- Informatique
- Logics And Meanings Of Programs
- Model Checking
- Software Engineering/programming And Operating Systems
- Verification
- Algorithm Analysis And Problem Complexity
- Alloy
- Artificial Intelligence
- Beweis
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- Springer Book Series (Lecture Notes)
- Wiley-Blackwell Journals
- Wiley Online Library Full Collection 2018
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library (Association for Computing Machinery)
- SpringerLink
- EZB Electronic Journals Library
- Journals@Ovid
- IEEE Xplore