Connectors as designs: Modeling, refinement and test case generation

Meng Sun
, Farhad Arbab
, Bernhard Aichernig
, Lacramioara Astefanoaei
, Frank S. de Boer
, Jan Rutten

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Contribution to journal › Article › peer-review

1 results
Link opens in a new tab

Filter

Finished
Formal Methods
Lorber, F. L. (Attendee), Lucas, P. (Attendee), Aichernig, B. (Contact person) & Jöbstl, E. (Attendee)
1/01/95 → 31/12/24
Project: Research area