Formal Methods

https://syndetics.com/index.aspx
Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Etiquetes:

Serious Games

https://syndetics.com/index.aspx
André Thomas, Michelle Meyer, Markus Zank

Etiquetes:

Serious Games

https://syndetics.com/index.aspx
André Thomas, Michelle Meyer, Markus Zank

Etiquetes:

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII

https://syndetics.com/index.aspx
Andrea Aler Tubella, Stephen Cranefield, Christopher Frantz, Felipe Meneguzzi, Wamberto Vasconcelos

Etiquetes: ,

Robot Play for All

https://syndetics.com/index.aspx
Andrea Bonarini, Serenella Besio

Etiquetes: ,

Financial Cryptography and Data Security

https://syndetics.com/index.aspx
Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala

Etiquetes:

VLSI-SoC: Design Trends

https://syndetics.com/index.aspx
Andrea Calimera, Pierre-Emmanuel Gaillardon, Kunal Korgaonkar, Shahar Kvatinsky, Ricardo Reis

Etiquetes: ,

Rough Sets

https://syndetics.com/index.aspx
Andrea Campagner, Oliver Urs Lenz, Shuyin Xia, Dominik Ślęzak, Jarosław Wąs, JingTao Yao

Etiquetes: ,

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

https://syndetics.com/index.aspx
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch

Etiquetes:

Computer Safety, Reliability, and Security

https://syndetics.com/index.aspx
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch

Etiquetes: