Year of publication
Type of material
Licence
Language
1–20 of 700 hits
Sort by:
Sort by:
-
Aircraft requirements for low/medium density markets.
Aircraft requirements for low density markets.
Aircraft requirements for medium density marketsFree accessDSpace@MIT | 1973|Keywords: Specifications -
Multilevel Flow Modelling of Process Plant for Diagnosis and Control
Free accessBASE | 1982|Keywords: Specifications -
Algebraic domain equations for specifications containing inequational axioms
Free accessBASE | 1984|Keywords: specifications with inequalities -
Conceptual Models in Man-Machine Design Verification
Free accessBASE | 1985|Keywords: Specifications -
A Framework for Cognitive Task Analysis in Systems Design
Free accessBASE | 1985|Keywords: Specifications -
A tribute to Richard N. Hamme: The father of open office acoustics.
Free accessAmerican Institute of Physics | 1992|Keywords: SPECIFICATIONS -
What Do Message Sequence Charts Mean?
Free accessBASE | 1994|Keywords: Requirements/Specifications -
Four Issues Concerning the Semantics of Message Flow Graphs
Free accessBASE | 1995|Keywords: Requirements/Specifications, Protocol Specifications -
Some Results on Cross Viewpoint Consistency Checking
Free accessSpringer Verlag | 1995|Keywords: Requirements/Specifications -
Specification, Detection and Resolution of IN Feature Interactions with Estelle
Free accessSpringer Verlag | 1995|Keywords: Requirements/Specifications -
Application Level Framing and Automated Implementation
Free accessSpringer Verlag | 1995|Keywords: Formal Specifications -
Abstract testing and concrete testers
Free accessSpringer Verlag | 1995|Keywords: requirements/specifications -
Generalized Fair Reachability Analysis for Cyclic Protocols: Part 1
Free accessSpringer Verlag | 1995|Keywords: Requirements/Specifications -
Increasing the Efficiency of Computer-aided Protocol Implementations
Free accessSpringer Verlag | 1995|Keywords: Requirements/Specifications -
Evaluation of some test generation tools on a real protocol example
Free accessSpringer Verlag | 1995|Keywords: formal specifications -
About time nondeterminism and exception handling in a temporal extension of LOTOS
Free accessSpringer Verlag | 1995|Keywords: Requirement/Specifications -
An Axiom-Based Test Case Selection Strategy for Object-Oriented Programs
Free accessSpringer Verlag | 1995|Keywords: algebraic specifications -
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
Free accessBASE | 1995|Keywords: Modular specifications, Executable specifications -
ODP Types and Their Management: an Object-Z Specification
Free accessSpringer Verlag | 1995|Keywords: Requirements/Specifications
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.