Formal Methods in the Software Life Cycle
[
main |
cases |
smart cards |
formal methods |
schedule |
deliverables
]
Group 1: E-Purse
Octa Cota
Stephan Damen
Dorieke Schipper
Eugen Schindler
Group 2: Car Rental
Hristina Moneva
Bo Wang
Sreedevi Pillai
Mehmet Kovacioglu
Group 3: Loyalty card
Cornelia Petrutiu
Mirela Popa
Sanda Contiu
Group 4: Petrol Rantioning
Eve Khmelinskaya
Mingjian Xu
Imran Sabir