Work

Synthesis and Verification of Self-aware Computing Systems

Year: 2017

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-3-319-47474-8_11

Authors: Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli

Institutions: University of York, University of L'Aquila, Carnegie Mellon University, The University of Texas at Austin, RWTH Aachen University, University of Oxford, Malmö University

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2580630723

FWCI: 9.131

Cites: 71

Cited by: 30

Related to: 10