Formal Methods in the Software Life Cycle:
Deliverables
[
main |
background |
applications |
schedule |
deliverables
]
Group 1: E-Purse
Dorota Kopylowicz, Tom Geelen, Alex Bykov,
Ajeesh Gopalakrishnan, Darshak Shah
Group 2: Loyalty card
Yuan Gao, Talip Ozkeles, Vladimir Reznichenka,
Vlad Niculescu, Marcel Cerveney
Group 3: Car Rental
Yanja Dajsuren, Jeroen Gommans,
Gopakumar Nair, Wei Wang, George Byelas
Group 4: Petrol Rantioning
Shuang Mu, Razvan Dinu, Andrei Smahlei,
Ferdi Maswar, Bart Rem