Sortiert nach
Lecture Notes in Computer Science, 2023, Vol.14010
1, 2023
Link zum Volltext
Future generation computer systems, 2017-03, Vol.68, p.445-455
2017
Link zum Volltext
Science of computer programming, 2022-04, Vol.216, p.102780, Article 102780
2022
Link zum Volltext
Theoretical Aspects of Computing – ICTAC 2019, p.22-38
Link zum Volltext
Science of computer programming, 2016-06, Vol.121 (100--127), p.100-127
2016
Link zum Volltext
Journal of systems architecture, 2023-02, Vol.135, p.102798, Article 102798
2023
Link zum Volltext
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
2021
Link zum Volltext
Model and Data Engineering, p.1-3
Link zum Volltext
Software and systems modeling, 2017-10, Vol.16 (4), p.1083-1115
2017
Link zum Volltext
Journal of software : evolution and process, 2023-07, Vol.35 (7), p.n/a
2023
Link zum Volltext
1st ed. 2018., 2018
Link zum Volltext
1st Edition 2018, 2018
Link zum Volltext
ACM transactions on embedded computing systems, 2013-01, Vol.12 (1), p.1-25
2013
Link zum Volltext
Formal Methods for Industrial Critical Systems, 2021, Vol.12863, p.126-146
2021
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Modeling, p.399-423
Link zum Volltext
Science of computer programming, 2022-06, Vol.218, p.102804, Article 102804
2022
Link zum Volltext
Theoretical computer science, 2006-11, Vol.364 (3), p.318-337
2006
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.821-838
Link zum Volltext
Computación y Sistemas, 2017-01, Vol.21 (4), p.863-881
2017
Link zum Volltext
Model and Data Engineering, 2017, p.137-152
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software Engineering
- Logic In Computer Science
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Data Structures And Algorithms
- Formal Languages And Automata Theory
- Humans
- Refinement
- Computer Science, Software Engineering
- Event-B
- Physics
- Female
- Life Sciences
- Male
- Oncology
- Cancer
- Middle Aged
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- Electronic Journals Library - Freely accessible e-journals
- HEAL-Link subscriptions: Springer Book Series
- Journals@Ovid Full Text
- MEDLINE
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Publisher or Other Site
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library All Journals
- ACM Digital Library (Association for Computing Machinery)
- Oxford University Press Journals Current
- Wiley Online Library Full Collection 2018
- Oxford Journals 2020 Medicine
- IEEE Xplore Digital Library
Zeitschrift / Serie
Neu hinzugefügt