Jump To : Overview | Titles | Subjects

Kordon, Fabrice.

Overview

Works:	1 works in 4 publications in 1 languages

Titles

Application and theory of petri nets and concurrency = 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings / by: Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service) (Electronic resources)

Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: Monterey Workshop (2016 :); Zhang, Lin.; Ren, Lei.; Kordon, Fabrice.; SpringerLink (Online service) (Electronic resources)

Transactions on petri nets and other models of concurrency XVI by: Koutny, Maciej.; Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service); International Conference on Application and Theory of Petri Nets and Concurrency (2020 :); International Conference on Application of Concurrency to System Design (2020 :) (Electronic resources)

Transactions on petri nets and other models of concurrency XV by: Koutny, Maciej.; Kordon, Fabrice.; Pomello, Lucia.; SpringerLink (Online service) (Electronic resources)

Formal methods for embedded distributed systems = how to master the complexity / by: Kordon, Fabrice.; Lemoine, Michel, (1947-); SpringerLink (Online service) (Language materials, printed)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: Kordon, Fabrice.; Vardanega, Tullio.; SpringerLink (Online service); Ada-Europe International Conference on Reliable Software Technologies ((2008 :) (Language materials, printed)

Formal methods for embedded distributed systems = how to master the complexity / by: Kordon, Fabrice.; Lemoine, Michel, (1947-); NetLibrary, Inc. (Language materials, printed)

Subjects

Electronic data processing- Distributed processing. Software Engineering. Theory of Computation. Data Structures and Information Theory. Logics and Meanings of Programs. 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. Computer multitasking Computer Engineering and Networks. Embedded computer systems. Computer software- Reliability Computer Science. Computer Communication Networks. Big data System Performance and Evaluation. Discrete Mathematics in Computer Science. Computer Systems Organization and Communication Networks. Ada (Computer program language)- Congresses.