Kordon, Fabrice.
Overview
Works: | 2 works in 4 publications in 1 languages |
---|
Titles
Application and theory of petri nets and concurrency37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings /
by:
(1998 :); Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service)
(Electronic resources)
Challenges and opportunity with big data19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers /
by:
(1998 :); Kordon, Fabrice.; Ren, Lei.; SpringerLink (Online service); Zhang, Lin.
(Electronic resources)
Reliable software technologies-Ada-Europe 200914th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings /
by:
(1998 :); Kermarrec, Yvon.; Kordon, Fabrice.; SpringerLink (Online service)
(Electronic resources)
Formal methods for embedded distributed systemshow to master the complexity /
by:
Kordon, Fabrice.; Lemoine, Michel, (1947-); SpringerLink (Online service)
(Electronic resources)
Transactions on petri nets and other models of concurrency XVI
by:
(1998 :); Kordon, Fabrice.; Koutny, Maciej.; Moldt, Daniel.; SpringerLink (Online service)
(Electronic resources)
Transactions on petri nets and other models of concurrency XV
by:
Kordon, Fabrice.; Koutny, Maciej.; Pomello, Lucia.; SpringerLink (Online service)
(Electronic resources)
Reliable Software Technologies Ada-Europe 200813th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(1998 :); Kordon, Fabrice.; SpringerLink (Online service); Vardanega, Tullio.
(Electronic resources)
Subjects
Software Engineering.
Theory of Computation.
Data Structures and Information Theory.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Petri nets
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Data Structures.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Ada (Computer program language)
Computer multitasking
Computer Engineering and Networks.
Embedded computer systems.
Performance and Reliability.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Big data
Discrete Mathematics in Computer Science.
Computer Systems Organization and Communication Networks.