Bernardinello, Luca.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings /
by:
Petrucci, Laure.; Bernardinello, Luca.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Petri net synthesis
by:
Darondeau, Philippe.; Badouel, Eric.; Bernardinello, Luca.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Application and theory of petri nets and concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings /
by:
Bernardinello, Luca.; SpringerLink (Online service); Petrucci, Laure.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Petri Net Synthesis
by:
Darondeau, Philippe.; SpringerLink (Online service); Bernardinello, Luca.; Badouel, Eric.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer networks .
Petri nets
Embedded computer systems.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computers.
Mathematics of Computing.
Computer Science.
Computer multitasking
Petri nets.
Embedded Systems.
Mathematical Logic and Foundations.