Sortiert nach
2022
Link zum Volltext
Software and systems modeling, 2021-06, Vol.20 (3), p.641-665
2021
Link zum Volltext
Logical methods in computer science, 2022-06, Vol.18, Issue 2 (2)
2022
Link zum Volltext
Mathematics (Basel), 2020-07, Vol.8 (7), p.1068
2020
Link zum Volltext
Journal of internet services and applications, 2021-12, Vol.12 (1), p.1-29, Article 2
2021
Link zum Volltext
1st Edition 2018, 2018
Link zum Volltext
Science of computer programming, 2019-08, Vol.182, p.86-87
2019
Link zum Volltext
Science of computer programming, 2019-08, Vol.182, p.86
2019
Link zum Volltext
2019 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2019, p.324
2019
Link zum Volltext
1, 2022
Link zum Volltext
IEEE transactions on software engineering, 2022-08, Vol.48 (8), p.2732-2747
2022
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-07, Vol.58 (Proc. FOCLASA 2011), p.1-19
2011
Link zum Volltext
Journal of parallel and distributed computing, 2024-02, Vol.184, p.104780, Article 104780
2024
Link zum Volltext
Principles of Modeling, 2018, Vol.10760, p.478-503
2018
Link zum Volltext
Electronic proceedings in theoretical computer science, 2023, Vol.387, p.1-7
2023
Link zum Volltext
Fundamentals of Software Engineering, 2017, Vol.10522, p.228-243
2017
Link zum Volltext
ACM computing surveys, 2017-10, Vol.50 (5), p.1-39, Article 76
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Software Engineering
- Computer Science, Theory & Methods
- Computer Programming / Software Development
- Model Checking
- Artificial Intelligence
- Actor Model
- Rebeca
- Verification
- Formal Verification
- Software Engineering/programming And Operating Systems
- Cyber-Physical Systems
- Programming Techniques
- Embedded Systems
- Formal Methods
- Logics And Meanings Of Programs
- Modeling Languages
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect
- Springer Book Series
- ACM Digital Library Complete
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ScienceDirect Journals (5 years ago - present)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- Springer Online Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Business Source Ultimate
Zeitschrift / Serie
- Science Of Computer Programming
- Electronic Notes In Theoretical Computer Science
- Acm Transactions On Embedded Computing Systems
- Acta Informatica
- Electronic Communications Of The Easst
- International Journal On Software Tools For Technology Transfer
- Sigbed Review
- The Journal Of Systems And Software
- Acm Computing Surveys
- Computer Languages, Systems & Structures
Neu hinzugefügt