### Table 1. An algebraic specification of the object place.

1992

"... In PAGE 5: ...ig. 1. Highways, interchanges, and places shown at the Planning Level. A place at this level can be specified as demonstrated in Table1 . The object apos;s underlying figure is a vertex (which is a node in the graph model) and the vertex is assumed to be already specified.... ..."

Cited by 41

### Table 3: Vehicle Dynamics Specifications

"... In PAGE 4: ... The two components are coupled through the road/tire interaction. The development of the vehicle dynamics model is given in [16] and its key parameter values are given in Table3 of the Appendix. The vehicle dynamics are also modeled using the bond graph language within the 20SIM environment.... ..."

### Table 1. Mapping of Entities between Timing Diagrams and Algebraic Specifications.

2007

"... In PAGE 2: ... Since our testing methodology is built on algebraic specifications [7], the editor further translates the CFSM model into an algebraic representation. Table1 shows a mapping of the entities between timing diagrams and algebraic specifications. For example, stations and actions in timing diagrams bear the same meaning as classes and methods in algebraic specifications.... ..."

Cited by 2

### TABLE 1 Upper and lower bounds for dynamic algebraic problems.

### Table 8. Algebraic Specification Case Study. Time period 1997 - current

2000

Cited by 9

### Table 1. Logical and physical algebras.

1999

"... In PAGE 3: ... Such an algebra is system-specific, meaning that different systems may implement the same data model and the same logical algebra, but may use different physical algebras [12]. Table1 shows the logical and the physical operators used by the conventional optimizer. We describe the physical algebra operators in more detail in section 3.... ..."

Cited by 7

### Table 4: Formal Specification for Dynamic Class

2001

"... In PAGE 11: ...able 3: Formal Specification for Static Class............................................................. 70 Table4 : Formal Specification for Dynamic Class.... ..."

### Table III. Dynamic constraints formal specification

2005

Cited by 8

### Table A2 Vehicle dynamics specifications.

### Table 2. The operations of the Compound Term Composition Algebra

2004

"... In PAGE 5: ... The self-product op- erations allow specifying the meaningful compound terms over one facet. Specif- ically, the definition of each operation of CTCA is summarized in Table2 where S, S0 denote compound terminologies. In addition, (Se; ) is called the compound taxonomy of e.... ..."

Cited by 3