Work

Synthesizing partial component-level behavior models from system specifications

Year: 2009

Type: conference-paper

Source: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

DOI: 10.1145/1595696.1595756

Authors: Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic

Institution: University of Southern California

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

OpenAlex ID: W2123042765

FWCI: 4.942

Cites: 27

Cited by: 40

Related to: 10