Article citationsMore>>
M. Heiner and M. Heisel, “Modeling Safety Critical Systems with Z and Petri-Nets,” Proceedings of International Conference on Computer Safety, Reliability and Security, London, 1999, pp. 361-374.
http://dx.doi.org/10.1007/3-540-48249-0_31
has been cited by the following article:
Related Articles:
-
Borhen Marzougui, Khaled Hassine, Kamel Barkaoui
-
Miryam Barad
-
Faisal Nabi, Jianming Yong, Xiaohui Tao, Muhammad Saqib Malhi, Umar Mahmood, Usman Iqbal
-
Francisca Santana-Robles, Joselito Medina-Marín, Oscar Montaño-Arango, Juan Carlos Seck-Tuoh-Mora
-
Ashraf Armoush, Falk Salewski, Stefan Kowalewski