Szczegóły publikacji

Opis bibliograficzny

Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods / Krzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA // W: 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — (Technical Report ; TR-2011/1). — S. 15–24. — Bibliogr. s. 24, Abstr.

Autorzy (4)

Dane bibliometryczne

ID BaDAP63409
Data dodania do BaDAP2012-01-04
Rok publikacji2011
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak
Czasopismo/seriaTechnical Report

Publikacje, które mogą Cię zainteresować

fragment książki
#62039Data dodania: 10.11.2011
Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.
SzczegółyLink
fragment książki
#63410Data dodania: 4.1.2012
Loki – presentation of logic-based semantic wiki / Weronika T. ADRIAN, Grzegorz J. NALEPA // W: 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — (Technical Report ; TR-2011/1). — S. 49–52. — Bibliogr. s. 52, Abstr.
SzczegółyLink