Work

Availability analysis for synchronous data-flow graphs in mixed-criticality systems

Year: 2016

Type: conference-paper

Source: IEEE International Symposium on Industrial Embedded Systems (SIES)

DOI: 10.1109/sies.2016.7509431

Authors: Roberto Medina, Etienne Borde, Laurent Pautet

Institutions: Université Paris-Saclay, Laboratoire Traitement et Communication de l’Information

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W2465713682

FWCI: 0.549

Cites: 16

Cited by: 2

Related to: 10