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, 2024-06, Vol.26 (3), p.331-346
2024
Volltextzugriff (PDF)
Science of computer programming, 2022-10, Vol.222 (102856), p.102856, Article 102856
2022
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.167-186
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2020-06, Vol.22 (3), p.333-347
2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2020-06, Vol.22 (3), p.349-363
2020
Volltextzugriff (PDF)
Information and software technology, 2017-12, Vol.92, p.158-178
2017
Volltextzugriff (PDF)
Computer journal, 2019-12, Vol.62 (12), p.1707-1733
2019
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, p.351-366
2020
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.325-339
Volltextzugriff (PDF)
Theoretical Aspects of Software Engineering, 2022, Vol.13299, p.256-273
2022
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, p.139-154
2020
Volltextzugriff (PDF)
Science of computer programming, 2016-12, Vol.131, p.76-93
2016
Volltextzugriff (PDF)
2014 21st Asia-Pacific Software Engineering Conference, 2014, Vol.1, p.438-445
2014
Volltextzugriff (PDF)
Risks and Security of Internet and Systems, 2023, Vol.13857, p.153-168
2023
Volltextzugriff (PDF)
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), 2017, p.120-123
2017
Volltextzugriff (PDF)
New Trends in Model and Data Engineering, p.115-129
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.1-16
2016
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2010-03, Vol.6 (1-2), p.47-54
2010
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.377-397
2018
Volltextzugriff (PDF)
Information and software technology, 2008-06, Vol.50 (7), p.797-814
2008
Volltextzugriff (PDF)
Formal aspects of computing, 2014-09, Vol.26 (5), p.919-941
2014
Volltextzugriff (PDF)
Information and software technology, 2006-04, Vol.48 (4), p.253-279
2006
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.394-408
Volltextzugriff (PDF)
Advances in Conceptual Modeling, p.59-67
Volltextzugriff (PDF)
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.173-180
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Software Engineering
- Event-B
- Refinement
- Information Systems
- Computer Science, Information Systems
- Requirements Engineering
- Access Control
- Software
- Formal Method
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Proof Obligation
- Sysml/kaos
- Verification
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Electronic Journals Library
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- EBSCOhost Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- InfoSci-Journals (Full collection)
- IngentaConnect Journals
- Wiley-Blackwell Journals
- Oxford Journals Current Collection
- Journals@Ovid Complete
- Wiley Online Library All Obooks
Zeitschrift / Serie
- Ingénierie Des Systèmes D'information
- Information And Software Technology
- Software And Systems Modeling
- Innovations In Systems And Software Engineering
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science
- Automated Software Engineering
- Computer Journal
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt