Sortiert nach
Formal methods in system design, 2022-08, Vol.61 (1), p.3-34
2022
Link zum Volltext
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.157-183
2021
Link zum Volltext
Papers in physics, 2022-01, Vol.14, p.140001-14
- Parisi, Daniel R.
- Patterson, Germán A.
- Pagni, Lucio
- Osimani, Agustina
- Bacigalupo, Tomas
- Godfrid, Juan
- Bergagna, Federico M.
- Rodriguez Brizi, Manuel
- Momesso, Pedro
- Gomez, Fermin L.
- Lozano, Jimena
- Baader, Juan M.
- Ribas, Ignacio
- Astiz Meyer, Facundo P.
- Di Luca, Miguel
- Barrera, Nicolas E.
- Keimel Álvarez, Ezequiel M.
- Herran Oyhanarte, Maite M.
- Pingarilho, Pedro R.
- Zuberbuhler, Ximena
- Gorostiaga, Felipe
2022
Link zum Volltext
CLEI electronic journal, 2018-08, Vol.21 (2)
2018
Link zum Volltext
Formal Methods, p.563-580
Link zum Volltext
Runtime Verification, p.164-183
Link zum Volltext
Runtime Verification, p.282-298
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022
2022
Link zum Volltext
Runtime Verification, p.351-362
Link zum Volltext
NASA Formal Methods, p.693-712
Link zum Volltext
Runtime Verification, p.462-481
Link zum Volltext
Programming Languages and Systems, p.25-43
Link zum Volltext
Papers in physics, 2022-01, Vol.14
- Daniel R. Parisi
- Germán A. Patterson
- Lucio Pagni
- Agustina Osimani
- Tomas Bacigalupo
- Juan Godfrid
- Federico M. Bergagna
- Manuel Rodriguez Brizi
- Pedro Momesso
- Fermin L. Gomez
- Jimena Lozano
- Juan M. Baader
- Ignacio Ribas
- Facundo P. Astiz Meyer
- Miguel Di Luca
- Nicolas E. Barrera
- Ezequiel M. Keimel Álvarez
- Maite M. Herran Oyhanarte
- Pedro R. Pingarilho
- Ximena Zuberbuhler
- Felipe Gorostiaga
2022
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.271-288
Link zum Volltext
2021 IEEE International Conference on Robotics and Automation (ICRA), 2021, p.6824-6830
2021
- Link zum Volltext
2018 IEEE International Conference on Web Services (ICWS), 2018, p.379-382
2018
- Link zum Volltext
2017 XLIII Latin American Computer Conference (CLEI), 2017, p.1-10
2017
Link zum Volltext
Web Information Systems Engineering – WISE 2018, p.81-95
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.397-414
Link zum Volltext
Solar energy, 2018-08, Vol.170, p.520-540
2018
Link zum Volltext
Metals (Basel ), 2018-03, Vol.8 (3), p.162
2018
Link zum Volltext
Transactions of the Indian Ceramic Society, 2021-07, Vol.80 (3), p.163-173
2021
Link zum Volltext
Metals (Basel ), 2016-09, Vol.6 (9), p.203-203
2016
Link zum Volltext
Journal of water process engineering, 2021-02, Vol.39, p.101872, Article 101872
2021
Link zum Volltext
Ekonomiaz, 1988 (9-10), p.301-324
1988
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Materials Science
- Aluminum
- Computer Science, Interdisciplinary Applications
- Engineering
- Monitoring
- Verification
- Alumina
- Bayer Process
- Covid-19
- High Temperature
- Manganese
- Materials Science, Multidisciplinary
- Metallurgy
- Metallurgy & Metallurgical Engineering
- Monitors
Kollektion
- IngentaConnect
- Springer Book Series
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- IngentaConnect Journals
- IEEE Xplore
- EZB-NALI2-00462 Springer Archive NL
- SpringerLink Journals - AutoHoldings
- Ebook Central Perpetual and DDA
- Taylor & Francis Journals Complete
- eBooks on EBSCOhost
- Journals@Ovid
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis Current Content Access