Sortiert nach
Formal methods in system design, 2022-08, Vol.61 (1), p.3-34
2022
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.157-183
2021
Volltextzugriff (PDF)
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
Volltextzugriff (PDF)
CLEI electronic journal, 2018-08, Vol.21 (2)
2018
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2024-04
2024
Volltextzugriff (PDF)
Formal Methods, p.563-580
Volltextzugriff (PDF)
Runtime Verification, p.164-183
Volltextzugriff (PDF)
Runtime Verification, p.282-298
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022
2022
Volltextzugriff (PDF)
Runtime Verification, p.351-362
Volltextzugriff (PDF)
NASA Formal Methods, p.693-712
Volltextzugriff (PDF)
Runtime Verification, p.462-481
Volltextzugriff (PDF)
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
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.271-288
Volltextzugriff (PDF)
2021 IEEE International Conference on Robotics and Automation (ICRA), 2021, p.6824-6830
2021
Volltextzugriff (PDF)
2018 IEEE International Conference on Web Services (ICWS), 2018, p.379-382
2018
Volltextzugriff (PDF)
2017 XLIII Latin American Computer Conference (CLEI), 2017, p.1-10
2017
Volltextzugriff (PDF)
Web Information Systems Engineering – WISE 2018, p.81-95
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.397-414
Volltextzugriff (PDF)
Journal of water process engineering, 2021-02, Vol.39, p.101872, Article 101872
2021
Volltextzugriff (PDF)
Ekonomiaz, 1988 (9-10), p.301-324
1988
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Interdisciplinary Applications
- Engineering
- Monitoring
- Runtime Verification
- Verification
- Covid-19
- Monitors
- Orchestration
- Pandemic Measures
- Real Time
- Social Distance
- Software
- Software Engineering/programming And Operating Systems
- Specification And Description Languages
- Stream Runtime Verification
Kollektion