2025
article
OpenAlex
Jian Song, Guanjun Liu, Ying Gina Tang, Miaomiao Wang et autres
Formal verification becomes increasingly critical to ensure system functionality, reliability and safety as they grow in complexity. Existing methods tend to focus on a single dimension of system aspects—such as control flow, data flow or timing constraints—or, at most, consider two of …
cn, us
(code pays fourni par la source)
2025
article
OpenAlex
Jian Song, Guanjun Liu, Miaomiao Wang
Many operations in workflow systems are dependent on database tables. The classical workflow nets and their extensions (e.g., workflow nets with data) cannot model these operations, so that they cannot find some related errors. Recently, workflow nets with tables (WFT-nets) were proposed …
cn
(code pays fourni par la source)
Accès ouvert
2018
article
OpenAlex
S. Acharya, Fernando Torales Acosta, D. Adamová, J. Adolfsson et autres
Abstract The p T-differential production cross section of prompt Λ c + charmed baryons was measured with the ALICE detector at the Large Hadron Collider (LHC) in pp collisions at $$ \sqrt{s}=7 $$ s = 7 TeV and in p-Pb collisions at …
in, us, cz, se, ch, it, kr, ru, de, br, mx, pk, ua, no, ro, gb, hr, fr, hu, cn, pe, dk, nl, pl
(code pays fourni par la source)