Petrucci, Laure.
概要
| 作品: | 2 作品在 4 項出版品 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]
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 :)
(書目-語言資料,印刷品)
Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Cavalcanti, Ana.; Petrucci, Laure.; Seceleanu, Cristina.
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
SpringerLink (Online service); Petrucci, Laure.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sproston, Jeremy.
(書目-語言資料,印刷品)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
Kristensen, Lars M.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Petrucci, Laure.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Computer science—Mathematics.
Petri nets
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programs
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Embedded computer systems.
Computer simulation
Software engineering
Programming Languages, Compilers, Interpreters.
System analysis
Software Engineering.
Data Structures and Information Theory.
Computer networks .
Logic in AI.
Mathematics of Computing.
Computer Science.
Embedded Systems.
Computer Engineering and Networks.
Temporal automata
Special Purpose and Application-Based Systems.
Natural Language Processing (NLP)
Computer multitasking
Computation by Abstract Devices.
Computer software