Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Petri nets as a support to symbolic execution of concurrent Ada programs
Petri nets as a support to symbolic execution of concurrent Ada programs
Petri nets as a support to symbolic execution of concurrent Ada programs
Ghezzi, Carlo (Autor:in) / Mandrioli, Dino (Autor:in) / Pezze, Mauro (Autor:in)
1987
[21] Bl.
graph. Darst.
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Buch
Englisch
Symbolic execution of concurrent programs using Petri nets
| TIBKAT | 1989
Decision support in Petri nets via genetic algorithms
| British Library Conference Proceedings | 2009
System Modelling with Petri Nets
| Springer Verlag | 1990
Rail maintenance analysis using Petri nets
| Online Contents | 2017
Rail maintenance analysis using Petri nets
| Online Contents | 2016