Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Kordon, Fabrice.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Formal methods for embedded distributed systems = how to master the complexity / by: Kordon, Fabrice.; Lemoine, Michel, (1947-); SpringerLink (Online service) (Language materials, printed)
Application and theory of petri nets and concurrency = 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings / by: Kordon, Fabrice.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Moldt, Daniel. (Language materials, printed)
Transactions on Petri Nets and Other Models of Concurrency XV by: SpringerLink (Online service); Pomello, Lucia.; Kordon, Fabrice.; Koutny, Maciej. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: Zhang, Lin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Ren, Lei.; Kordon, Fabrice. (Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / by: Kordon, Fabrice.; SpringerLink (Online service); Moldt, Daniel. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: SpringerLink (Online service); Kordon, Fabrice.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vardanega, Tullio. (Language materials, printed)
Transactions on Petri Nets and Other Models of Concurrency XVI by: Koutny, Maciej.; Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by: Beyer, Dirk.; Huisman, Marieke.; Kordon, Fabrice.; Steffen, Bernhard.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login