Work

Supervisory Controller Synthesis for Product Lines Using CIF 3

Year: 2016

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-47166-2_59

Authors: Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink

Institutions: Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Eindhoven University of Technology, Centrum Wiskunde & Informatica

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

Award: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours

OpenAlex ID: W2528366265

FWCI: 3.884

Cites: 45

Cited by: 26

Related to: 10