Work

Towards a Transformation Approach of Timed Uml Marte Specificationsfor Observer-based Formal Verification

Year: 2016

Type: article

Source: HAL

Authors: Menad, Nadia, Dhaussy, Philippe, Drey, Zoé, Mekki, Rachida

Institution: Université des Sciences et de la Technologie d'Oran Mohamed Boudiaf

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4290823780

FWCI: 0.276

Cites:

Cited by: 2

Related to: 10