| 000 | 00457nam0a22002051i 4500 | ||
|---|---|---|---|
| 001 | 50062 | ||
| 090 | _a50062 | ||
| 100 | _a20240205 frey50 | ||
| 101 | 0 | _afre | |
| 102 | _cFR | ||
| 200 | 1 | _aVérification formelle des diagrammes de séquence UML temporisés | |
| 210 | _d2013 | ||
| 700 | 0 | _aA | |
| 702 | 0 | _aNafaa | |
| 702 | 0 | _aSabrina- Lantri | |
| 702 | 0 | _aNour el Houda | |
| 702 | 0 | _aLaadjailia | |
| 852 | _jM/IN/13/2013 | ||
| 942 | _cTH | ||
| 950 | _a1 | ||