Work

Computer-aided verification of software process model properties

Year: 1993

Type: conference-paper

Source: Notes on numerical fluid mechanics and multidisciplinary design

DOI: 10.1007/3-540-56777-1_28

Authors: Alfred Bröckers, Volker Gruhn

Institutions: University of Kaiserslautern, TU Dortmund University, Fraunhofer Institute for Software and Systems Engineering

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W1594008429

FWCI: 15.06

Cites: 37

Cited by: 15

Related to: 10