Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dieter Hutter
Deduction in the Verification Support Environment (VSE)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification Support Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Speaker Verification in Noisy Environment Using Missing Feature Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
BProVe: Tool Support for Business Process Verification
OCL Support in an Industrial Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SVMSVM: Support Vector Machine Speaker Verification Methodology
Electronic Negotiation Support Environment in Collaborative Networks
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Modelling Styles and Their Support in the CASM Environment