Code Description Date Room Timeslot
00 Course Introduction Thu 22/9/2016 C 9-12
01 CASS Introduction Thu 22/9/2016 C 9-12
02 Computational Models for CASS Tue 27/9/2016 C 9-11
03 Petri Nets Tue 27/9/2016 C 9-11
L1 Lab on Petri Nets Thu 29/9/2016 Lab 2 9-12
04 Advanced Modelling Techniques Tue 4/10/2016 C 9-11
05 Model-Checking Thu 6/10/2016 C 9-12
06 Modelling Quantitative Aspects Tue 11/10/2016 C 9-11
L2 Lab on Model-Checking Thu 13/10/2016 Lab 2 9-12
07 Stochastic Analysis Tue 18/10/2016 C 9-11
L3 Lab on Stochastic Analysis Thu 20/10/2016 Lab 2 9-12
08 Simulation and Alchemist Mon 24/10/2016 E 9-11
L4 Lab on Alchemist Mon 24/10/2016 Lab 2 11-13
R Ricci's part from 25/10/2016 to 12/12/2016
09 Engineering Self-organisation Tue 13/12/2016 C 9-11
10 Computational Fields Tue 13/12/2016 C 9-11
L5 Lab on Achemist/Protelis Mon 19/12/2016 Lab 2 9-12
11 Towards Aggregate Computing Tue 20/12/2016 C 9-11
12 On the SCAFI project Tue 20/12/2016 C 9-11
Tags:

Course

— a.y.

2015/2016

— credits

6

— cycle

2nd cycle

— language

wit.gif

Teachers

— professor

Mirko Viroli

— other professors

Alessandro Ricci, Danilo Pianini

Context

— university

Alma Mater Studiorum-Università di Bologna

— department / faculty / school

DISI

— 2nd cycle

8614 Ingegneria e scienze informatiche 

URLs & IDs

— course ID

72523

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY