Transactions on Petri Nets and Other Models of Concurrency XVII
portes grátis
Transactions on Petri Nets and Other Models of Concurrency XVII
Ciardo, Gianfranco; Bergenthum, Robin; Koutny, Maciej
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
11/2023
295
Mole
Inglês
9783662681909
15 a 20 dias
Descrição não disponível.
A Toolchain to Compute Concurrent Places of Petri Nets.- Development and Verification of a Microservice Architecture for a Fire.- Risk Notification System.- Computing Reveals on Equal-Conflict Petri Nets.- Analysing Adaption Processes of Hornets.- A validated learning approach to healthcare process analysis through contextual and temporal filtering.- A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device.- Strategies for Minimising the Synthesised ENL-systems.- Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.- Confusion-Tolerant Computation of Probability in Acyclic Nets.- An efficient state space construction for a class of timed automata.- Compositional Techniques for Boolean Networks and Attractor Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
A Toolchain to Compute Concurrent Places of Petri Nets.- Development and Verification of a Microservice Architecture for a Fire.- Risk Notification System.- Computing Reveals on Equal-Conflict Petri Nets.- Analysing Adaption Processes of Hornets.- A validated learning approach to healthcare process analysis through contextual and temporal filtering.- A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device.- Strategies for Minimising the Synthesised ENL-systems.- Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.- Confusion-Tolerant Computation of Probability in Acyclic Nets.- An efficient state space construction for a class of timed automata.- Compositional Techniques for Boolean Networks and Attractor Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
