共 50 条
[41]
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming
[J].
RUNTIME VERIFICATION,
2009, 5779
:115-131
[42]
An object-oriented software approach for a distributed human tracking motion system
[J].
VISUAL COMMUNICATIONS AND IMAGE PROCESSING 2003, PTS 1-3,
2003, 5150
:315-326
[43]
How to support verification of object-oriented analysis model using HOL
[J].
WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: INFORMATION SYSTEMS,
1999,
:525-532
[50]
An Extensible Encoding of Object-oriented Data Models in holwith an Application to imp++
[J].
Journal of Automated Reasoning,
2008, 41
:219-249