Petrucci, Laure.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Applications and theory of petri nets32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
(1998 :); Kristensen, Lars M.; Petrucci, Laure.; SpringerLink (Online service)
(書目-電子資源)
Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(1998 :); Petrucci, Laure.; SpringerLink (Online service); Sproston, Jeremy.
(書目-電子資源)
Application and theory of petri nets and concurrency43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings /
by:
(1998 :); Bernardinello, Luca.; Petrucci, Laure.; SpringerLink (Online service)
(書目-電子資源)
Critical systemsformal 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:
(1998 :); Cavalcanti, Ana.; Petrucci, Laure.; Seceleanu, Cristina.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Data Structures and Information Theory.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Mathematics of Computing.
Logic in AI.
Petri nets
Computation by Abstract Devices.
Programming Techniques.
Computer software
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer multitasking
Computer simulation
Computer Engineering and Networks.
Computer programs
Computer Science.
Embedded Systems.
Computer Communication Networks.
Temporal automata
System analysis