Sortiert nach
International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.147-168
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.59-69
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.32-49
Volltextzugriff (PDF)
Integrated Formal Methods, p.456-473
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.284-302
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.193-201
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.81-96
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.160-178
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.128-145
Volltextzugriff (PDF)
NASA Formal Methods, p.279-297
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2022, Vol.13478, p.334-351
2022
Volltextzugriff (PDF)
IEEE Communications surveys and tutorials, 2021, Vol.23 (1), p.70-109
2021
Volltextzugriff (PDF)
IEEE transactions on signal processing, 2023, Vol.71, p.2434-2447
2023
Volltextzugriff (PDF)
IEEE/ASME transactions on mechatronics, 2019-04, Vol.24 (2), p.413-423
2019
Volltextzugriff (PDF)
Computer aided design, 2021-11, Vol.140, p.103073, Article 103073
2021
Volltextzugriff (PDF)
Ecological indicators, 2023-10, Vol.154, p.110665, Article 110665
2023
Volltextzugriff (PDF)
International journal of applied earth observation and geoinformation, 2024-05, Vol.129, p.103867, Article 103867
2024
Volltextzugriff (PDF)
Remote sensing of environment, 2024-07, Vol.308, p.114206, Article 114206
2024
Volltextzugriff (PDF)
Materials, 2021-07, Vol.14 (14), p.3782
2021
Volltextzugriff (PDF)
IEEE network, 2021-11, Vol.35 (6), p.91-97
2021
Volltextzugriff (PDF)
Nature communications, 2023-11, Vol.14 (1), p.7674-7674, Article 7674
- Schmidt, Sebastian
- Stautner, Constantin
- Vu, Duc Tung
- Heinz, Alexander
- Regensburger, Martin
- Karayel, Ozge
- Trümbach, Dietrich
- Artati, Anna
- Kaltenhäuser, Sabine
- Nassef, Mohamed Zakaria
- Hembach, Sina
- Steinert, Letyfee
- Winner, Beate
- Jürgen, Winkler
- Jastroch, Martin
- Luecken, Malte D
- Theis, Fabian J
- Westmeyer, Gil Gregor
- Adamski, Jerzy
- Mann, Matthias
- Hiller, Karsten
- Giesert, Florian
- Vogt Weisenhorn, Daniela M
- Wurst, Wolfgang
2023
Volltextzugriff (PDF)
Journal of medicinal chemistry, 2023-03, Vol.66 (5), p.3431-3447
- Göricke, Fabian
- Vu, Victoria
- Smith, Leanna
- Scheib, Ulrike
- Böhm, Raphael
- Akkilic, Namik
- Wohlfahrt, Gerd
- Weiske, Jörg
- Bömer, Ulf
- Brzezinka, Krzysztof
- Lindner, Niels
- Lienau, Philip
- Gradl, Stefan
- Beck, Hartmut
- Brown, Peter J.
- Santhakumar, Vijayaratnam
- Vedadi, Masoud
- Barsyte-Lovejoy, Dalia
- Arrowsmith, Cheryl H.
- Schmees, Norbert
- Petersen, Kirstin
2023
Volltextzugriff (PDF)
Materials, 2021-07, Vol.14 (14), p.3830
2021
Volltextzugriff (PDF)
BMJ (Online), 2021-03, Vol.372, p.n526
- Lamontagne, François
- Stegemann, Miriam
- Agarwal, Arnav
- Agoritsas, Thomas
- Siemieniuk, Reed
- Rochwerg, Bram
- Bartoszko, Jessica
- Askie, Lisa
- Macdonald, Helen
- Al-Maslamani, Muna
- Amin, Wagdy
- Da Silva, Andre Ricardo Araujo
- Barragan, Fabian Alberto Jaimes
- Bausch, Frederique Jacquerioz
- Burhan, Erlina
- Cecconi, Maurizio
- Chacko, Binila
- Chanda, Duncan
- Dat, Vu Quoc
- Du, Bin
- Geduld, Heike
- Gee, Patrick
- Haider, Muhammad
- Nerina, Harley
- Hashimi, Madiha
- Jehan, Fyezah
- Hui, David
- Hunt, Beverley J
- Ismail, Mohamed
- Kabra, Sushil
- Kanda, Seema
- Kawano-Dourado, Leticia
- Kim, Yae-Jean
- Kissoon, Niranjan
- Krishna, Sanjeev
- Kwizera, Arthur
- Lisboa, Thiago
- Leo, Yee-Sin
- Mahaka, Imelda
- Hela, Manai
- Migliori, Giovanni Battista
- Mino, Greta
- Nsutebu, Emmanuel
- Pshenichnaya, Natalia
- Qadir, Nida
- Ranganathan, Shalini Sri
- Sabzwari, Saniya
- Sarin, Rohit
- Shankar-Hari, Manu
- Sharland, Michael
- Shen, Yinzhong
- Souza, Joao Paulo
- Tshokey, Tshokey
- Ugarte, Sebastian
- Uyeki, Tim
- Venkatapuram, Sridhar
- Wachinou, Ablo Prudence
- Wijewickrama, Ananda
- Vuyiseka, Dubula
- Preller, Jacobus
- Brignardello-Petersen, Romina
- Kum, Elena
- Qasim, Anila
- Zeraatkar, Dena
- Owen, Andrew
- Guyatt, Gordon
- Lytvyn, Lyubov
- Jacobs, Michael
- Vandvik, Per Olav
- Diaz, Janet
2021
Volltextzugriff (PDF)
Nature communications, 2023-03, Vol.14 (1), p.1226-1226, Article 1226
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Life Sciences & Biomedicine
- Engineering
- Computer Science, Theory & Methods
- Engineering, Electrical & Electronic
- Validation
- Algorithms
- B Method
- Humans
- Chemistry
- Computer Science, Interdisciplinary Applications
- Computer Science, Software Engineering
- Physical Sciences
- Simulation
- Telecommunications
- Visualization
- 5g Mobile Communication
- Acoustics
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- IEEE Xplore
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- Journals@Ovid Ovid Full Text
- SpringerLink Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- Wiley Online Library
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- Nexis Uni (LexisNexis)
- Nature Journals
- Springer Online Journals【Remote access available】
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Business Source Ultimate
- JSTOR