uppaal.zip
À propos du fichier
- Type de fichier
- Fichier ZIP de 5.3 Mo (application/zip)
- Confidentialité
- Fichier public, envoyé le 23 septembre 2015 à 17:15, depuis l'adresse IP 130.120.x.x (France)
- Sécurité
- Ne contient aucun Virus ou Malware connus - Dernière vérification: 29/09/23
- Statistiques
- La présente page de téléchargement a été vue 920 fois depuis l'envoi du fichier
- Page de téléchargement
-
Aperçu du contenu du fichier
Archive: / 2015 / 09 / 23 / uppaal / uppaal.zip
Taille de l'archive: 5571902 octets, nombre de fichiers et répertoires: 39
drwx--- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal /
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 16:39 uppaal / uppaal-4.0.13 /
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Linux /
-rw-a-- 6.3 fat 2736136 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Linux / server
-rw-a-- 6.3 fat 2735356 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Linux / verifyta
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Win32 /
-rwxa-- 6.3 fat 2578944 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Win32 / server.exe
-rwxa-- 6.3 fat 2569728 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Win32 / verifyta.exe
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo /
-rw-a-- 6.3 fat 1808 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / 2doors.q
-rw-a-- 6.3 fat 3626 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / 2doors.xml
-rw-a-- 6.3 fat 522 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / bridge.q
-rw-a-- 6.3 fat 3165 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / bridge.xml
-rw-a-- 6.3 fat 419 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer.q
-rw-a-- 6.3 fat 1608 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer.xml
-rw-a-- 6.3 fat 189 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer_symmetry.q
-rw-a-- 6.3 fat 1665 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer_symmetry.xml
-rw-a-- 6.3 fat 183 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / interrupt.q
-rw-a-- 6.3 fat 3772 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / interrupt.xml
-rw-a-- 6.3 fat 1349 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / train-gate.q
-rw-a-- 6.3 fat 4484 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / train-gate.xml
-rw-a-- 6.3 fat 2981 bx defN 15-Sep-23 17:04 uppaal / uppaal-4.0.13 / lamp.xml
-rw-a-- 6.3 fat 401 bx defN 15-Sep-23 17:04 uppaal / uppaal-4.0.13 / lampQueries.q
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib /
-rw-a-- 6.3 fat 69977 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / editor.jar
-rw-a-- 6.3 fat 148264 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / jdom.jar
-rw-a-- 6.3 fat 531676 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / jh.jar
-rw-a-- 6.3 fat 114580 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / jlfgr-1_0.jar
-rw-a-- 6.3 fat 164665 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / model.jar
-rw-a-- 6.3 fat 44086 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / swixml.jar
-rw-a-- 6.3 fat 44 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / license.txt
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / man /
drwxa-- 6.3 fat 0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / man / man1 /
-rw-a-- 6.3 fat 1076 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / man / man1 / uppaal.1
-rw-a-- 6.3 fat 5191 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / readme.txt
-rw-a-- 6.3 fat 1271 bx defN 15-Sep-23 16:37 uppaal / uppaal-4.0.13 / simtest.xtr
-rw-a-- 6.3 fat 1485 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / test.xml
-rw-a-- 6.3 fat 893 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / uppaal
-rw-a-- 6.3 fat 567509 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / uppaal.jar
39 entrées, 12297053 octets (non compressé), 5564910 octets (compressé) - Taux de compression: 54.7%
Partager le fichier uppaal.zip sur le Web et les réseaux sociaux:
Télécharger le fichier uppaal.zip
