Work

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs

Year: 2020

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-41131-2_10

Authors: Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Laboratoire d'Intégration des Systèmes et des Technologies, Technical University of Denmark

Language: English

Topic: Real-Time Systems Scheduling

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3007624024

FWCI: 0.656

Cites: 42

Cited by: 4

Related to: 10