History
1
cc:F.4
131


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 131 total

A structure causality relation for liveness characterisation in Petri nets. (English)
J. UCS 12, No. 2, 214-232, electronic only (2006).
Classification: D.0 F.1.1 F.3.1 F.4 G.2
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX URL
Verification of similar fsms by mixing incremental re-encoding, reachability analysis, and combinational checks. (English)
Form. Methods Syst. Des. 17, No. 2, 107-134 (2000).
Classification: D.2.4 F.1.1 G.1 F.4
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstraction: A key notion for reverse engineering in a system reengineering approach. (English)
J. Softw. Maint. 12, No. 4, 197-228 (2000).
Classification: D.2.m F.4
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Modeling IP mobility. (English)
Form. Methods Syst. Des. 17, No. 1, 61-99 (2000).
Classification: C.2.2 D.2.4 G.2 F.4 I.6
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Verifying temporal properties of reactive systems: A step tutorial. (English)
Form. Methods Syst. Des. 16, No. 3, 227-270 (2000).
Classification: D.2.4 D.2.5 F.4 I.2.3
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
Verifying temporal properties of reactive systems: A STeP tutorial. (English)
Form. Methods Syst. Des. 16, No. 3, 227-270 (2000).
Classification: D.2.4 D.2.5 F.4 I.2.3
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
Modeling IP mobility. (English)
Form. Methods Syst. Des. 17, No. 1, 61-99 (2000).
Classification: C.2.2 D.2.4 G.2 F.4 I.6
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstraction: A key notion for reverse engineering in a system reengineering approach. (English)
J. Softw. Maint. 12, No. 4, 197-228 (2000).
Classification: D.2.m F.4
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX DOI
Verification of similar FSMs by mixing incremental re-encoding, reachability analysis, and combinational checks. (English)
Form. Methods Syst. Des. 17, No. 2, 107-134 (2000).
Classification: D.2.4 F.1.1 G.1 F.4
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX DOI
Representing a robotic domain using temporal description logics. (English)
Artif. Intell. Eng. Des. Anal. Manuf. 13, No. 2, 105-117 (1999).
Classification: I.2.3 I.2.9 F.3 F.4
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX DOI
Combining heterogeneous temporal information: A case study. (English)
Artif. Intell. Eng. Des. Anal. Manuf. 13, No. 2, 79-89 (1999).
Classification: I.2.3 F.2 F.4
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX DOI
Temporal representation of state transitions. (English)
Artif. Intell. Eng. Des. Anal. Manuf. 13, No. 2, 67-78 (1999).
Classification: I.2.4 F.4 C.3 J.7
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX DOI
Single neuron rational model of arithmetic and logic operations. (English)
Connect. Sci. 11, No. 1, 73-90 (1999).
Classification: I.2.6 F.4
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX DOI
B-RAAM: A connectionist model which develops holistic internal representations of symbolic structure. (English)
Connect. Sci. 11, No. 1, 41-71 (1999).
Classification: I.2.6 I.2.7 F.4
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX DOI
Automatic generation of invariants. (English)
Form. Methods Syst. Des. 15, No. 1, 75-92 (1999).
Classification: F.3 F.4 G.1
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX DOI
Deductive model checking. (English)
Form. Methods Syst. Des. 15, No. 1, 49-74 (1999).
Classification: D.2.4 D.2.5 F.3.1 F.4
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX DOI
Reactive modules. (English)
Form. Methods Syst. Des. 15, No. 1, 7-48 (1999).
Classification: D.2.4 F.3 F.4 I.6
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX DOI
Saving space by fully exploiting invisible transitions. (English)
Form. Methods Syst. Des. 14, No. 3, 311-332 (1999).
Classification: D.2.4 F.4 G.2.2
WorldCat.org
18
PDF XML AMS-TeX TEXT BIBTeX DOI
Saving space by fully exploiting invisible transitions. (English)
Form. Methods Syst. Des. 14, No. 3, 311-332 (1999).
Classification: D.2.4 F.4 G.2.2
WorldCat.org
19
PDF XML AMS-TeX TEXT BIBTeX DOI
Reactive modules. (English)
Form. Methods Syst. Des. 15, No. 1, 7-48 (1999).
Classification: D.2.4 F.3 F.4 I.6
WorldCat.org
20
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 131 total

Valid XHTML 1.0 Transitional Valid CSS!