1.A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol

作　　者：Robi Malik ;Reinhard Mühlfeld

出　　处：Journal of Universal Computer Science. 2003 ;9(2):138-151.

出版社：Graz University of Technology and Know-Center

文章 ID：186874502

文章详细
2.Exploiting Approximations in Supervisory Control with Distinguishers ⁎

作　　者：Marcelo Rosa ;Marcelo Teixeira ;Robi Malik

出　　处：IFAC PapersOnLine. 2018 ;51(7):13-18.doi:10.1016/j.ifacol.2018.06.272

出版社：Elsevier

文章 ID：1020218632

文章详细
3.Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking

作　　者：Robi Malik ;Patrícia N. Pena

出　　处：IFAC PapersOnLine. 2018 ;51(7):230-235.doi:10.1016/j.ifacol.2018.06.306

出版社：Elsevier

文章 ID：1020218666

文章详细
4.Counterexample Computation in Compositional Nonblocking Verification

作　　者：Robi Malik ;Simon Ware

出　　处：IFAC PapersOnLine. 2018 ;51(7):416-421.doi:10.1016/j.ifacol.2018.06.334

出版社：Elsevier

文章 ID：1020218694

文章详细
5.Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

作　　者：Robi Malik ;Knut Åkesson ;Hugo Flordal 等

出　　处：IFAC PapersOnLine. 2017 ;50(1):5794-5799.doi:10.1016/j.ifacol.2017.08.427

出版社：Elsevier

文章 ID：1010444649

文章详细
6.Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers

作　　者：Robi Malik ;Marcelo Teixeira

出　　处：IFAC PapersOnLine. 2020 ;53(4):205-210.doi:10.1016/j.ifacol.2021.04.020

出版社：Elsevier

文章 ID：1032015563

文章详细

	Martin Fabian	1篇
	Patrícia N. Pena	1篇
	Reinhard Mühlfeld	1篇
	Simon Ware	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Robi Malik")))) )) ) )"

	Robi Malik	6篇
	Marcelo Teixeira	2篇
	Hugo Flordal	1篇
	Knut Åkesson	1篇
	Marcelo Rosa	1篇

	IFAC PapersOnLine	5篇
	Journal of Universal Computer Science	1篇

	2020	1篇
	2018	3篇
	2017	1篇
	2003	1篇