Amanote Research

Amanote Research

    RegisterSign In

An Overview of HATS: A Language Independent High Assurance Transformation System

doi 10.1109/asset.1999.756772
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
V.L. Winter
Publisher

IEEE Comput. Soc


Related search

Robust Language-Independent OCR System

1999English

An XQuery-Based Model Transformation Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Hats On, Hats Off

Cultural Studies Review
Cultural Studies
2016English

Initial Documentation Requirements for a High Assurance System: Lessons Learned

English

OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Hats Off!

Journal of Diagnostic Medical Sonography
RadiologicalRadiologyNuclear MedicineUltrasound TechnologyImaging
1999English

Independent Data Monitoring Committees: An Update and Overview

Urologic Oncology: Seminars and Original Investigations
OncologyUrology
2015English

Brain and Language: An Overview of Neuroimaging Studies of Bilingual Language Processing

Revista Brasileira de Linguistica Aplicada
LinguisticsLanguage
2005English

The Transformation of Corporate Organization in Europe: An Overview

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy