This book constitutes the refereed proceedings of the Third International Conference on Data Scie...
This book constitutes the proceedings of the 5th International Conference on Artificial Intellige...
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...
Formal methods have been applied successfully to the verification of medium-sized programs in pro...
Formal methods have been applied successfully to the verification of medium-sized programs in pro...
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 6...
InhaltsangabeCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Ma...
InhaltsangabeThe MOBIUS Project.- The MOBIUS Proof Carrying Code Infrastructure.- Certification U...
InhaltsangabeHigher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract...
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...
This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...
This book constitutes the proceedings of the First International Conference, DSAI 2023, held in B...