Filtrer vos résultats
- 7
- 5
- 2
- 7
- 2
- 3
- 1
- 1
- 7
- 7
- 4
- 7
- 7
- 4
- 1
7 résultats
|
|
triés par
|
Click'n'Prove: Interactive Proofs Within Set Theory16th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'2003, 2003, Rome, Italy, pp.1-24
Communication dans un congrès
inria-00099836v1
|
|||
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)Journal of Universal Computer Science, 2005, Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181), 11 (5), pp.744-770
Article dans une revue
inria-00000120v1
|
|||
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify ProtocolFormal Aspects of Computing, 2003, 14 (3), pp.215-227
Article dans une revue
inria-00099531v1
|
|||
Specification and Design of the Leader Election Protocol of IEEE 1394IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p
Communication dans un congrès
inria-00100598v1
|
|||
Higher-Order" Mathematics in B2nd International Conference of B and Z Users - ZB'2002, D. Bert, J.P. Bowen, M.C. Henson, K. Robinson, Jan 2002, Grenoble, France, pp.370-393
Communication dans un congrès
inria-00100923v1
|
|||
Formal derivation of spanning trees algorithmsThird International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476
Communication dans un congrès
inria-00099793v1
|
|||
Refinement and Reachability in Event_BZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, pp.222-241, ⟨10.1007/11415787_14⟩
Communication dans un congrès
istex
inria-00001245v1
|