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 |
|||
---|---|---|---|
名称 | 大小 | 日期 | 下载总数 |
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 |
全文件 |
|||
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 |