The Modal Transition Analyser (MTSA) is a joint research effort of the Distributed Software Engineering (DSE) group at Imperial College London and the Laboratory on Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos Aires
Latest 5 files |
|||
---|---|---|---|
Nombre | Tamaño | Fecha | Download count |
MTSAcaseStudiesICSE16.zip | 12.8 KB | 2015-09-09 05:14 | 6 |
mtsa.jar | 780.7 KB | 2015-09-09 05:14 | 4 |
mtsa-3.6.zip | 44.9 MB | 2014-09-15 02:34 | 7 |
MTSA-R3.5-FSE2014 | 10.3 MB | 2014-03-26 17:37 | 5 |
MTSA-R3.4.zip | 11.1 MB | 2013-01-23 02:06 | 23 |
Todos los Ficheros |
|||
2016-ICSE-updateControllers | |||
MTSAcaseStudiesICSE16.zip | 12.8 KB | 2015-09-09 05:14 | 6 |
mtsa.jar | 780.7 KB | 2015-09-09 05:14 | 4 |
mtsa | |||
MTSA-3.6 | |||
mtsa-3.6.zip | 44.9 MB | 2014-09-15 02:34 | 7 |
MTSA-3.5-FSE2014 | |||
MTSA-R3.5-FSE2014 | 10.3 MB | 2014-03-26 17:37 | 5 |
MTSA-R3.4 | |||
MTSA-R3.4.zip | 11.1 MB | 2013-01-23 02:06 | 23 |
MTSA-R3.3-ICSE-DEMO-2013 | |||
production-cell-altcolours-1slot-pickuprestricted.lts | 4.2 KB | 2012-11-19 22:28 | 4 |
mtsa-r3.3.zip | 11.7 MB | 2012-11-19 22:28 | 0 |
Case Studies | |||
TOSEM-Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals | |||
FSE-JOURNAL-PyS-V4.lts | 2.3 KB | 2011-07-02 00:02 | 4 |
FSE-JOURNAL-LibAndPay-V2.lts | 3.1 KB | 2011-07-02 00:02 | 7 |
FSE-JOURNAL-Services-v7.lts | 3.3 KB | 2011-07-01 23:59 | 4 |
FSE-JOURNAL-Robot-V5.lts | 4.5 KB | 2011-07-01 23:59 | 1 |
FSE-JOURNAL-ProductionCell-V15-Small.lts | 3.3 KB | 2011-07-01 23:59 | 4 |
FSE-JOURNAL-ProductionCell-V15.lts | 3.6 KB | 2011-07-01 23:59 | 2 |
FSE-JOURNAL-biscotti-V2.lts | 1.1 KB | 2011-07-01 23:58 | 9 |
FSE-JOURNAL-BackgroundExamples.lts | 0.8 KB | 2011-07-01 23:58 | 1 |
caseStudyPhilips.zip | 4.8 KB | 2010-05-15 00:51 | 2 |
MinePump.lts | 6.9 KB | 2009-08-02 04:17 | 3 |
MTSA-R3.2 | |||
MTSA-R3.2.zip | 3.9 MB | 2011-03-03 20:54 | 4 |
MTSA-R3.1 | |||
releasenotes.txt | 0.2 KB | 2011-01-08 04:15 | 4 |
MTSA-R3.1.zip | 3.4 MB | 2011-01-08 04:15 | 2 |
MTSA-R2.99 | |||
MTSA-R2.99.zip | 3.2 MB | 2010-09-01 06:55 | 3 |
rn.txt | 0.1 KB | 2010-09-01 06:35 | 1 |
MTSA-R3 | |||
rn.txt | 49 B | 2010-05-15 00:59 | 3 |
MTSA-R3.zip | 5.8 MB | 2010-05-15 00:36 | 10 |
MTSA-R2 | |||
MTSA-2.1.zip | 2.9 MB | 2009-01-27 03:41 | 4 |
MTSA-R1 | |||
MTSA-R1.zip | 11.4 MB | 2008-03-29 02:54 | 1 |
MTSA-R1-Docs.zip | 92.0 KB | 2008-03-29 02:48 | 4 |
OldFiles | |||
MTSA-2.1.rar | 2.9 MB | 2009-01-27 03:35 | 8 |
MTSA.rar | 2.9 MB | 2008-09-17 04:42 | 6 |