Skip to main content
Erschienen in: International Journal on Software Tools for Technology Transfer 2/2024

Open Access 22.02.2024 | General

Monitoring of spatio-temporal properties with nonlinear SAT solvers

verfasst von: André Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 2/2024

loading …
download
DOWNLOAD
print
DRUCKEN
Metadaten
Titel
Monitoring of spatio-temporal properties with nonlinear SAT solvers
verfasst von
André Matos Pedro
Tomás Silva
Tiago Sequeira
João Lourenço
João Costa Seco
Carla Ferreira
Publikationsdatum
22.02.2024
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal on Software Tools for Technology Transfer / Ausgabe 2/2024
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-024-00740-7

Weitere Artikel der Ausgabe 2/2024

International Journal on Software Tools for Technology Transfer 2/2024 Zur Ausgabe

Premium Partner