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 |
|||
---|---|---|---|
Name | 크기 | 날짜 | 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 |
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 |