Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Generation of code from specifications"'
Publikováno v:
Proceedings of AIS-CMS International modeling and simulation multiconference
AIS-CMS International modeling and simulation multiconference
AIS-CMS International modeling and simulation multiconference, Feb 2007, Buenos Aires, Argentina. pp.55-60
HAL
AIS-CMS International modeling and simulation multiconference
AIS-CMS International modeling and simulation multiconference, Feb 2007, Buenos Aires, Argentina. pp.55-60
HAL
International audience; The paper presents a software tool to model and simulate DEVS models. The tool can be used for education of DEVS formalism or developing complex models of real systems. It is based on two main features: 1) a graphical environm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c330e2dfcac02f914557eaf3a574fef0
https://hal.archives-ouvertes.fr/hal-00173661
https://hal.archives-ouvertes.fr/hal-00173661
Autor:
Férey, Gaspard, Shankar, Natarajan
Publikováno v:
NASA Formal Methods (9783319406473); 2016, p150-165, 16p
Autor:
Laplante, P.A., Neill, C.J.
Publikováno v:
29th Annual IEEE/NASA Software Engineering Workshop; 2005, p228-233, 6p
Publikováno v:
14th International Conference on Distributed Computing Systems; 1994, p276-283, 8p
Autor:
Vazquez, Federico
Publikováno v:
Proceedings of the Conference: TRI-Ada '94; 11/ 6/1994, p209-218, 10p
Autor:
Chua, Yap S., Winton, Charles N.
Publikováno v:
Proceedings of the International Conference: APL; 12/1/1986, p252-260, 9p
Publikováno v:
Innovations in Systems & Software Engineering; Dec2008, Vol. 4 Issue 4, p361-384, 24p
Autor:
Laplante, Phillip A., Neill, Colin J.
Publikováno v:
Innovations in Systems & Software Engineering; Apr2005, Vol. 1 Issue 1, p71-78, 8p
Autor:
Johnson, W. Lewis
Publikováno v:
Knowledge Engineering Review; Dec1992, Vol. 7 Issue 4, p367-369, 3p
Autor:
Sanjai Rayadurgam, Oksana Tkachuk
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from