Formal Methods in Outer Space

Authors :: Bartocci, Ezio
Falcone, Yliès
Leucker, Martin
Vienna University of Technology (TU Wien)
Compiler Optimization and Run-time Systems (CORSE)
Inria Grenoble - Rhône-Alpes
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG)
Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )
Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )
Université Grenoble Alpes (UGA)
Universität zu Lübeck = University of Lübeck [Lübeck]
Source :: Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩
Publication Year :: 2021
Publisher :: HAL CCSD, 2021.
Abstract: International audience

Subjects :: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
ComputingMilieux_MISCELLANEOUS

Language :: English
Database :: OpenAIRE
Journal :: Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩
Accession number :: edsair.od.......165..9b7066497b42b2e4fa8f927050160c7d

Tools