Work

Codesign of dependable systems: A component-based modeling language

Year: 2009

Type: conference-paper

Source: ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

DOI: 10.1109/memcod.2009.5185388

Authors: Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll

Institutions: Fondazione Bruno Kessler, RWTH Aachen University

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3151975824

FWCI: 2.104

Cites: 31

Cited by: 21

Related to: 10