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 |
|||
---|---|---|---|
Nom | Taille | Date | Télécharger compter |
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 |
All Files |
|||
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 |