Zobrazeno 1 - 10
of 154
pro vyhledávání: '"Buchs, D."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kordon, F., Linard, A., Buchs, D., Colange, M., Evangelista, S., Fronc, L., Hillah, L. M., Lohmann, N., Paviot-Adet, E., Pommereau, F, Rohr, C., Thierry-Mieg, Y., Wimmel, H., Wolf, K.
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second e
Externí odkaz:
http://arxiv.org/abs/1209.2382
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sager, W., Hoernle, K., Höfig, T. W., Avery, A. J., Bhutani, R., Buchs, D. M., Carvallo, C. A., Class, C., Dai, Y., Valle, G. Dalla, Del Gaudio, A. V., Fielding, S., Gaastra, K. M., Han, S., Homrighausen, S., Kubota, Y., Li, C.-F., Nelson, W. R., Petrou, E., Potter, K. E.
Publikováno v:
Proceedings of the International Ocean Discovery Program, Expedition Reports; 10/11/2023, Issue 391, p1-66, 66p
Autor:
Sager, W., Hoernle, K., Höfig, T. W., Avery, A. J., Bhutani, R., Buchs, D. M., Carvallo, C. A., Class, C., Dai, Y., Valle, G. Dalla, Del Gaudio, A. V., Fielding, S., Gaastra, K. M., Han, S., Homrighausen, S., Kubota, Y., Li, C.-F., Nelson, W. R., Petrou, E., Potter, K. E.
Publikováno v:
Proceedings of the International Ocean Discovery Program, Expedition Reports; 10/11/2023, Issue 391, p1-58, 58p
Autor:
Sager, W., Hoernle, K., Höfig, T. W., Avery, A. J., Bhutani, R., Buchs, D. M., Carvallo, C. A., Class, C., Dai, Y., Valle, G. Dalla, Del Gaudio, A. V., Fielding, S., Gaastra, K. M., Han, S., Homrighausen, S., Kubota, Y., Li, C.-F., Nelson, W. R., Petrou, E., Potter, K. E.
Publikováno v:
Proceedings of the International Ocean Discovery Program, Expedition Reports; 10/11/2023, Issue 391, p1-65, 65p
Many described subduction complexes (or mélanges) exhumed from seismogenic depths comprise thick, turbidite-dominated sequences with deformed zones containing clasts or boudins of more competent sandstone and/or basalt. In contrast, many active subd
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::bd7225b38d1501321df97793b9ce8893
https://dspace.library.uu.nl/handle/1874/425340
https://dspace.library.uu.nl/handle/1874/425340
Publikováno v:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD pp. 35-56
Scopus-Elsevier
Scopus-Elsevier
Petri nets are a family of formalisms dedicated to the representation of concurrent systems. Their strength is the compact modeling of complex behaviors using very simple rules. Despite this simplicity, many teachers observe that students often requi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a524ea8e514568d6cae58e4fc28c5fc5
https://archive-ouverte.unige.ch/unige:138195
https://archive-ouverte.unige.ch/unige:138195
Publikováno v:
1st Int. Workshop on Collaborative Modelling in MDE
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Scopus-Elsevier
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), October 4, 2016, St. Malo, France / Muccini, Henry [edit.]; et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Scopus-Elsevier
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), October 4, 2016, St. Malo, France / Muccini, Henry [edit.]; et al.
Due to the increase of their complexity, currently engineered systems cannot be developed by one individual, but are a product of a collaboration between multiple stakeholders who develop the system from different domain-specific views. Inconsistenci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2639de9f1376faa41c47bf99c603d963
https://hal.telecom-paris.fr/hal-02287520
https://hal.telecom-paris.fr/hal-02287520
Publikováno v:
CEUR-WS.org
Petri Nets and Software Engineering (PNSE 2016)
Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306
Scopus-Elsevier
Petri Nets and Software Engineering (PNSE 2016)
Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306
Scopus-Elsevier
International audience; Defining formalisms and models in modular way is a painful task. Metamodeling tools and languages have usually not been created with this goal in mind. This article proposes a data structure, called layered data, that allows d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5984bd4ca11ef350c7f37e83e9c43267
https://hal.sorbonne-universite.fr/hal-01353944/file/pnse16-7-linard.pdf
https://hal.sorbonne-universite.fr/hal-01353944/file/pnse16-7-linard.pdf