Department of Artificial Intelligence and Systems Engineering
access control (1) · automated theorem prover (1) · Collaboration (1) · collaborative modeling (1) · consystency checking (1) · domain-specific languages (1) · EMF-IncQuery (1) · framework (1) · Model Based Design (1) · online collaboration (1) · web-based technologies (1) · Z3 (1)
4 theses in total. View all theses »