Sortiert nach
Software and systems modeling, 2021-06, Vol.20 (3), p.595-605
2021
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.11-26
Link zum Volltext
IEEE software, 2022-01, Vol.39 (1), p.112-113
2022
- Link zum Volltext
Journal of object technology, 2021, Vol.20 (2), p.2
2021
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Modeling, p.279-294
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation, p.346-356
Link zum Volltext
2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice, 2015, p.58-61
2015
Link zum Volltext
Software and systems modeling, 2012-10, Vol.11 (4), p.513-526
2012
Link zum Volltext
2. Aufl., 2009
Link zum Volltext
IEEE software, 2003-09, Vol.20 (5), p.19-25
2003
- Link zum Volltext
Software and systems modeling, 2019-06, Vol.18 (3), p.2313-2360
2019
Link zum Volltext
Model-Driven Engineering and Software Development, 2020, Vol.1161, p.76-100
2020
Link zum Volltext
Computer (Long Beach, Calif.), 2000-06, Vol.33 (6), p.64-69
2000
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Hardware & Architecture
- Computer Science, Software Engineering
- Uml
- Artificial Intelligence
- Programming Languages
- Software
- Computer Software
- Information Retrieval
- Development
- Engineering
- Computer Languages
- Software Engineering/programming And Operating Systems
- Unified Modeling Language
- Applied Sciences
- Computer Science; Control Theory; Systems
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect Journals
- Springer Book Series (Lecture Notes)
- ACM Digital Library Complete
- IEL
- ScienceDirect eBooks
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Complete
- Taylor & Francis Journals Complete
- IngentaConnect Journals
- Taylor & Francis Current Content Access
- Wiley Online Library All Obooks
Zeitschrift / Serie
Neu hinzugefügt