Work

MSCan – A Tool for Analyzing MSC Specifications

Year: 2006

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11691372_32

Authors: Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz

Institutions: École Normale Supérieure Paris-Saclay, Centre National de la Recherche Scientifique, Laboratoire Spécification et Vérification, 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: W1499260168

FWCI: 0.751

Cites: 7

Cited by: 9

Related to: 10