Jump To : Overview | Titles | Subjects

Kordon, Fabrice.

Overview

Works:	1 works in 5 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: Kordon, Fabrice.; SpringerLink (Online service); Monterey Workshop (2016 :); Ren, Lei.; Zhang, Lin. (Electronic resources)

Transactions on petri nets and other models of concurrency XVI by: 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 :); Koutny, Maciej. (Electronic resources)

TOOLympics challenge 2023 = updates, results, successes of the formal-methods competitions / by: Kordon, Fabrice.; SpringerLink (Online service); Beyer, Dirk.; Hartmanns, Arnd.; TOOLympics (Competition) (2023 :) (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)

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

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. (Electronic resources)

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. Formal methods (Computer science) Computer Science Logic and Foundations of Programming. 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.