Sortiert nach
Formal Methods and Software Engineering, p.357-372
Link zum Volltext
Rigorous State-Based Methods, 2020, p.203-219
2020
Link zum Volltext
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017, p.61-70
2017
- Link zum Volltext
2023 IEEE Aerospace Conference, 2023, p.1-10
2023
Link zum Volltext
Formal Methods, p.533-549
Link zum Volltext
FM 2016: Formal Methods, p.444-459
Link zum Volltext
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.90-97
2019
- Link zum Volltext
Formal Methods and Software Engineering, 2020, Vol.12531, p.251-267
2020
Link zum Volltext
Conceptual Modeling, p.488-495
Link zum Volltext
NASA Formal Methods, 2021, Vol.12673, p.198-213
2021
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.277-283
Link zum Volltext
2023 IEEE International Meeting for Future of Electron Devices, Kansai (IMFEDK), 2023, p.1-2
2023
Link zum Volltext
2022 IEEE International Symposium on Systems Engineering (ISSE), 2022, p.1-8
2022
- Link zum Volltext
Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B
2020
Link zum Volltext
The journal of obstetrics and gynaecology research, 2021, Vol.47 (11), p.4060-4066
2021
Link zum Volltext
Neurological sciences : official journal of the Italian Neurological Society and of the Italian Society of Clinical Neurophysiology, 2018, Vol.39 (9), p.1641-1642
2018
Link zum Volltext
Infection and drug resistance, 2022, Vol.15, p.2723-2728
2022
Link zum Volltext
Annals of hematology, 2021, Vol.100 (11), p.2849-2850
2021
Link zum Volltext
Infection and drug resistance, 2020, Vol.13, p.1017-1021
2020
Link zum Volltext
Annals of hematology, 2019, Vol.98 (11), p.2617-2619
2019
Link zum Volltext
Annals of hematology, 2019, Vol.98 (7), p.1785-1787
2019
Link zum Volltext
Infection and drug resistance, 2020, Vol.13, p.3225-3232
2020
Link zum Volltext
2011 IEEE International Instrumentation and Measurement Technology Conference, 2011, p.1-4
2011
- Link zum Volltext
Infection and drug resistance, 2018, Vol.11, p.701-705
2018
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Physical Sciences
- Humans
- Event-B
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Elevators
- Mathematical Model
- Computer Science, Artificial Intelligence
- Electrodes
- Instruments & Instrumentation
- Ion Implantation
- Materials Science
Kollektion
- IEEE Electronic Library (IEL)
- Ingenta
- EZB Free E-Journals
- Journals@Ovid Complete
- Wiley Online Library Journals
- Wiley Online Library Full Collection 2018
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Journals - AutoHoldings
- Taylor & Francis Journals Complete
- IngentaConnect Journals
- Taylor & Francis Current Content Access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Single Journals
- ScienceDirect eBooks
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
Zeitschrift / Serie