Results 41 to 50 of about 535,024 (133)
Tide tables, United States and foreign ports.
, 1895 Vols. for 1917-33 issued as its: Serial.Mode of access: Internet.Tide tables for 1867-95 and after 1933 were divided and issued separately as its: Tide tables, Atlantic Ocean, and its: Tide tables, Pacific Ocean and Indian Ocean.Tables for use in ...
U.S. Coast and Geodetic Survey. +2 more
core
ERTMS Hybrid Level 3 - model using iUML-B/Event-B
iUML-B based model of the ERTMS Hybrid Level 3 specification. Developed to support ABZ2018 case study track paper: Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3, Dana Dghaym, Michael Poppleton, Colin ...
Dghaym, Dana +2 more
core +1 more source
, 1971 Oral History Interview with Quinton Snook, student of IWU in 1941 & 1942, resident of Bloomington area, president and chairmen of the board of the Thomas Jefferson Life Insurance Company.
Snook ex\u2744, Quinton
core
Language and tool support for class and state machine refinement in UML-B [PDF]
, 2009 UML-B is a ’UML-like’ graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B.
Snook, Colin +5 more
core +1 more source
Using UML-B and U2B for formal refinement of digital components
, 2003 In this paper we look at using formal methods to verify the transformation of a digital design from abstract functional specification to bit level implementation.
Snook, Colin, Sandstrom, Kim
core +1 more source
The Aut(Not)Tomobile, handwritten draft of poem by J.J. Snook
, 1900 Handwritten draft of poem written by John J.
Snook, J. J.
core
UML-B and Event-B: an integration of languages and tools
, 2008 UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events.
Snook, Colin, Butler, Michael
core +1 more source
Rigorous engineering of product-line requirements: a case study in failure management
, 2007 We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated.
Snook, Colin +5 more
core +1 more source