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, 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)
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.347-363
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.307-323
Volltextzugriff (PDF)
IEEE Communications surveys and tutorials, 2019-01, Vol.21 (4), p.3639-3681
2019
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, p.367-381
2020
Volltextzugriff (PDF)
Computer journal, 2021-09, Vol.65 (10)
2021
Volltextzugriff (PDF)
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)
Future generation computer systems, 2019-02, Vol.91 (392-406), p.392-406
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.167-186
2017
Volltextzugriff (PDF)
IEEE transactions on services computing, 2022-09, Vol.15 (5), p.2511-2525
2022
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.321-339
Volltextzugriff (PDF)
Science of computer programming, 2024-01, Vol.232, p.103048, Article 103048
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2015-03, Vol.27 (2), p.335-374
2015
Volltextzugriff (PDF)
IEEE transactions on services computing, 2017-01, Vol.10 (1), p.23-36
2017
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)
Formal Methods and Software Engineering, 2023, p.228-246
2023
Volltextzugriff (PDF)
Formal aspects of computing, 2017-11, Vol.29 (6), p.987-1011
2017
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.325-339
Volltextzugriff (PDF)
Software and systems modeling, 2009-07, Vol.8 (3), p.385-401
2009
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, p.139-154
2020
Volltextzugriff (PDF)
2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA), 2016, p.746-753
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software Engineering
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Event-B
- Computer Science, Information Systems
- Verification
- Refinement
- Information Systems
- B Method
- Unified Modeling Language
- Symbolic Computation
- Theory Of Computation
- Conferences
- Context
- Engineering
- Security
- Sysml/kaos
Kollektion
- IngentaConnect (PSU_HMC_Only)
- IEEE Xplore
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Access via ScienceDirect (Elsevier)
- Springer Journals
- ACM Digital Library
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford journals
- Wiley Online Library All Obooks
- Access via Business Source (EBSCOhost)
- IngentaConnect Journals
- InfoSci-Journals (Full collection)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
Zeitschrift / Serie
- Information And Software Technology
- International Journal On Software Tools For Technology Transfer
- Formal Aspects Of Computing
- Science Of Computer Programming
- Computer Journal
- Ieee Transactions On Services Computing
- Automated Software Engineering
- Automatic Control And Computer Sciences
- Computers In Industry
- Electronic Notes In Theoretical Computer Science
Neu hinzugefügt