Sortiert nach
System Analysis and Modeling: Models and Reusability, p.198-206
Volltextzugriff (PDF)
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, 2012, p.9-16
2012
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.591-596
Volltextzugriff (PDF)
2015 International Conference on Industrial Engineering and Systems Management (IESM), 2015, p.48-54
2015
Volltextzugriff (PDF)
2009 Fourth International Conference on Software Engineering Advances, 2009, p.78-85
2009
Volltextzugriff (PDF)
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006, p.99-102
2006
Volltextzugriff (PDF)
International Journal on Software Tools for Technology Transfer, 2021-06, Vol.23 (3), p.489-517
2021
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-06, Vol.23 (3), p.519-519
2021
Volltextzugriff (PDF)
Lecture notes in computer science, 2019, Vol.11424, p.369-385
2019
Volltextzugriff (PDF)
Fundamentals of Software Engineering, 2023, Vol.14155, p.88-103
2023
Volltextzugriff (PDF)
Networked Systems, p.94-111
Volltextzugriff (PDF)
Integrated Formal Methods, 2019, Vol.11918, p.175-193
2019
Volltextzugriff (PDF)
Advances in Model and Data Engineering in the Digitalization Era, p.46-60
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.3-22
Volltextzugriff (PDF)
Testing Software and Systems, p.276-292
Volltextzugriff (PDF)
Microprocessors and microsystems, 2016-11, Vol.47, p.252-261
2016
Volltextzugriff (PDF)
2020 9th Mediterranean Conference on Embedded Computing (MECO), 2020, p.1-6
2020
Volltextzugriff (PDF)
Proceedings of the Conference on Rapid Simulation and Performance Evaluation: Methods and Tools, 2020, p.1-7
2020
Volltextzugriff (PDF)
2013 20th Asia-Pacific Software Engineering Conference (APSEC), 2013, Vol.1, p.559-564
2013
Volltextzugriff (PDF)
Journal of object technology, 2024, Vol.23 (2), p.2:1-16
2024
Volltextzugriff (PDF)
Journal of object technology, 2024, Vol.23 (2), p.2
2024
Volltextzugriff (PDF)
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE, 2024, Vol.12, p.12-22
2024
Volltextzugriff (PDF)
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.12-22
2024
Volltextzugriff (PDF)
Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, p.1815-1822
2021
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2016-02, Vol.320, p.21-34
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
- Symbolic Execution
- Formal Languages And Automata Theory
- Model-Based Testing
- Software Engineering
- Testing
- Computer Science, Information Systems
- Engineering
- Engineering, Electrical & Electronic
- Interaction
- Unified Modeling Language
- Computational Modeling
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Context
- Networking And Internet Architecture
Kollektion
- Ingenta
- IEEE Electronic Library (IEL)
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals
- Springer Nature - Complete Springer Journals
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
Neu hinzugefügt