Results 1 - 9 of 9 Page 1
History of Approximate Stochastic Model Checking in Alchemist — revisions from 1.1 to 9.1
From To Version Editor Date Summary
9.1 Andrea Omicini 20/07/2021 18:42
8.1 Andrea Omicini 20/07/2021 18:41
7.1 Andrea Omicini 20/07/2021 18:21
6.1 Andrea Omicini 20/07/2021 18:20
5.2 Danilo Pianini 25/06/2021 01:07 Updated class property name
4.2 Danilo Pianini 25/06/2021 00:53 Updated class property name
3.1 Danilo Pianini 24/06/2021 18:14 Migrated property [studentLastName] from class [Theses.ThesisClass]
2.1 Danilo Pianini 24/06/2021 18:11 Migrated property [studentFirstName] from class [Theses.ThesisClass]
1.1 Danilo Pianini 27/11/2020 13:28 Imported from XAR
Page 1

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