Work

Slicing Based Verification Approach for the Validation of SysML Activity Diagrams

Year: 2017

Type: conference-paper

Source: HAL

Authors: Rahim, Messaoud, Boukala, Malika, Hammad, Ahmed

Institutions: University Yahia Fares of Medea, University of Sciences and Technology Houari Boumediene, Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2992623561

FWCI:

Cites:

Cited by:

Related to: 10