导出
  • 排序
  • 显示
1. Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B EI

作者:Banach, Richard

通讯作者:Banach, Richard(banach@cs.man.ac.uk)

作者机构:[Banach, Richard ] School of Computer Science, University of Manchester, Manchester, United Kingdom

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,65-72

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

2. Hypergraph Representation of Lambda-Terms EI

作者:Yasen, Alimujiang ;Ueda, Kazunori

作者机构:[Yasen, Alimujiang ;Ueda, Kazunori ] Dept. of Computer Science and Engineering, Waseda University, Tokyo, Japan

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,113-116

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

4. Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams EI

作者:Safilian, Aliakbar ;Maibaum, Tom

作者机构:[Safilian, Aliakbar ;Maibaum, Tom ] Department of Computing and Software, McMaster University, Hamilton, Canada

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,136-143

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

8. Cost-Utility Analysis in Probabilistic Models EI

作者:Baier, Christel

通讯作者:Baier, Christel(Christel.Baier@tu-dresden.de)

作者机构:[Baier, Christel ] Technische Universitat Dresden, Germany

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,1

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

13. Formal Proof of Dynamic Memory Isolation Based on MMU EI

作者:Jomaa, Narjes ;Nowak, David ;Grimaud, Gilles ;Hym, Samuel

作者机构:[Jomaa, Narjes ;Nowak, David ;Grimaud, Gilles ;Hym, Samuel ] CRIStAL, CNRS Lille 1 University, France

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,73-80

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

14. On-The-Fly determinization of bounded networks of timed automata EI

作者:Aichernig, Bernhard K. ;Lorber, Florian

作者机构:[Aichernig, Bernhard K. ;Lorber, Florian ] Institute for Software Technology, Graz University of Technology, Austria

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,14-21

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

15. The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops EI

作者:Li, Yi ;Zhu, Guang ;Feng, Yong

作者机构:[Li, Yi ;Zhu, Guang ;Feng, Yong ] Key Laboratory of Automated Reasoning and Cognition, CIGIT, CAS, Chongqing; 400714, China

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,30-37

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

16. Active Learning from Blackbox to Timed Connectors EI

作者:Li, Yi ;Sun, Meng ;Wang, Yiwu

作者机构:[Li, Yi ;Sun, Meng ;Wang, Yiwu ] LMAM Amp; Department of Informatics, School of Mathematical Sciences, Peking University, Beijing, China

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,132-135

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

17. Complete Contracts through Specification Drivers EI

作者:Naumchev, Alexandr ;Meyer, Bertrand

作者机构:[Naumchev, Alexandr ] Software Engineering Laboratory, Innopolis University, Innopolis, Russia;[Meyer, Bertrand ] Also Politecnico di Milano, Italy

来源:Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016,2016,160-167

收录类别:EI

会议时间:July 17, 2016 - July 19, 2016

会议名称:10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016

资源类型:外文会议论文

共 2 页, 26 条记录

TOP