Search

Your search keyword '"Oliver, Ian"' showing total 668 results

Search Constraints

Start Over You searched for: Author "Oliver, Ian" Remove constraint Author: "Oliver, Ian"
668 results on '"Oliver, Ian"'

Search Results

51. Ontologising Trustworthy in the Telecommunications Domain

56. Formally Unified System Specification Environment with UML, B and SystemC

57. Towards a Conceptual Framework for UML to Hardware Description Language Mappings

58. The UML-B Profile for Formal Systems Modelling in UML

59. The Echo Cancellation Unit Case Study

60. Results of the Mobile Design System Experiment

63. On-the-Fly Ontology Matching in Smart Spaces: A Multi-model Approach

65. Anonymous Agent Coordination in Smart Spaces: State-of-the-Art

66. Cross-Domain Interoperability: A Case Study

68. Incremental ELMVIS for Unsupervised Learning

71. Experiences in Trusted Cloud Computing

87. Model Based Testing of an Embedded Session and Transport Protocol

89. Experiences in Using B and UML in Industrial Development

90. Formal Transformation of Platform Independent Models into Platform Specific Models

91. A UML Profile for Asynchronous Hardware Design

93. SNP-based linkage mapping for validation of QTLs for resistance to ascochyta blight in lentil

96. What Can Concept Diagrams Say?

98. Temporal dynamics in biotic and functional recovery following mining David J. Eldridge

99. Temporal dynamics in biotic and functional recovery following mining David J. Eldridge

Catalog

Books, media, physical & digital resources