Work

A toolset for supporting UML static and dynamic model checking

Year: 2003

Type: conference-paper

Source: IEEE Annual International Computer Software and Applications Conference (COMPSAC)

DOI: 10.1109/cmpsac.2002.1044545

Authors: Wuwei Shen, K. Compton, J. Huggins

Institutions: Western Michigan University, University of Michigan, Kettering University

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2133550868

FWCI: 4.274

Cites: 14

Cited by: 53

Related to: 10