Work

Branching Time Semantics for UML 2.0 Sequence Diagrams

Year: 2006

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11888116_20

Author: Youcef Hammal

Institution: University of Sciences and Technology Houari Boumediene

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1536620573

FWCI: 0.816

Cites: 13

Cited by: 24

Related to: 10