Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tim Clement

The Formal Development of a Windows Interface

1998English

Related publications

Using Formal Specifications in the Design of a Human-Computer Interface

1982English

Frameworks: The Future of Formal Software Development?

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1998English

A Case Study on the Formal Development of a Reactor Safety System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

The Development of a Geometric Modeling/Database Management Interface

Advances in Engineering Software (1978)
1990English

Formal Techniques in the Development of Blackboard Systems

International Journal of Pattern Recognition and Artificial Intelligence
Computer VisionPattern RecognitionArtificial IntelligenceSoftware
1993English

The Development of 6061-Aluminum Windows for the Mice Liquid Absorber

AIP Conference Proceedings
AstronomyPhysics
2006English

The UniForM Workbench a Universal Development Environment for Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Windows of Sensitivity to Toxic Chemicals in the Development of Cleft Palates

Journal of Toxicology and Environmental Health - Part B: Critical Reviews
MutagenesisToxicologyHealth
2015English

Development of Textured ITO Optical Windows for Photovoltaic Applications

Conference Papers in Energy
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy