Del 15189
813 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
567 kr
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
732 kr
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
732 kr
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
567 kr
Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Häftad, 2024
845 kr
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
Häftad, 2022
1 015 kr
Shaoying Liu, Meng Sun, Dominique Mery, Kazuhiro Ogata
1 056 kr
