Petrucci, Laure.
Overview
| Works: | 2 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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 :)
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer science—Mathematics.
Data Structures and Information Theory.
Petri nets
Computer networks .
Computer Communication Networks.
Software engineering.
Logic in AI.
Theory of Computation.
Mathematics of Computing.
Programming Techniques.
Computer Science.
Computer programs
Embedded Systems.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer Engineering and Networks.
Temporal automata
Special Purpose and Application-Based Systems.
Embedded computer systems.
Computer simulation
Natural Language Processing (NLP)
Software engineering
Computer multitasking
Programming Languages, Compilers, Interpreters.
System analysis
Computation by Abstract Devices.
Computer software