Transactions on Petri Nets and Other Models of Concurrency XVI

Maciej Koutny; Fabrice Kordon; Daniel Moldt

doi:10.1007/978-3-662-65303-6

Ouvrages (Édition Critique) Année : 2022

Transactions on Petri Nets and Other Models of Concurrency XVI

(1) , (2) , (3)

1
2
3

Maciej Koutny

Fonction : Auteur
PersonId : 855781

Newcastle University [Newcastle]

Fabrice Kordon

Fonction : Auteur
PersonId : 9774
IdHAL : fabrice-kordon
ORCID : 0000-0002-5626-828X
IdRef : 074605283

Modélisation et Vérification

CV

Daniel Moldt

Fonction : Auteur
PersonId : 989288

Hamburg University of Applied Sciences [Hamburg]

Mots clés

architecture verification and validation artificial intelligence automata theory computer programming embedded systems formal logic graph theory model checking petri nets programming languages software architecture software design software engineering software quality verification verification and validation

Domaines

Génie logiciel [cs.SE] Théorie et langage formel [cs.FL]

Fabrice Kordon : Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-03926379

Soumis le : vendredi 6 janvier 2023-10:31:02

Dernière modification le : mercredi 30 octobre 2024-13:32:05

Dates et versions

hal-03926379 , version 1 (06-01-2023)

Identifiants

HAL Id : hal-03926379 , version 1
DOI : 10.1007/978-3-662-65303-6

Citer

Maciej Koutny, Fabrice Kordon, Daniel Moldt. Transactions on Petri Nets and Other Models of Concurrency XVI. Springer Berlin, Heidelberg, 13220, 2022, Lecture Notes in Computer Science, 978-3-662-65302-9. ⟨10.1007/978-3-662-65303-6⟩. ⟨hal-03926379⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

62 Consultations

0 Téléchargements

Transactions on Petri Nets and Other Models of Concurrency XVI

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager