Paris / Oxford / Berlin / Cambridge / Amsterdam / Twente / /
Company
Verified Real Time Software / Industrial Critical Systems / Ericsson / Safety Critical Software / Case / Microsoft / METAFrame Technologies / /
Country
Germany / Sweden / United States / United Kingdom / Spain / /
Event
FDA Phase / /
Facility
Tampere University of Technology / University of Málaga / Uppsala University / University of Southampton / University of London / /
IndustryTerm
software works / Online Conference Service / object-based distributed systems / cryptographic protocols / real time software / software model checking / industrial applications / real-time systems / /
OperatingSystem
KRONOS / /
Organization
Max-Planck Institut für Informatik / University of Málaga / SUNY / Tampere University of Technology / University of Paris-7 Jussieu / Computación Universidad / Programme Committee / National Aeronautics and Space Administration / Univ. of Urbino / Max-Planck-Institut / Uppsala University / University of Southampton / University of London / /
Person
Antonio Cerone Kousha Etessami Alessandro / Rance Cleaveland / Natalia Ioustinova Frederic Lang / Hubert Garavel / Pablo Lopez Cecilia Mascolo Mieke Massink Radu / Andreas Podelski / Andrei Rybalchenko / María del Mar Gallardo / Sophia Antipolis / Bahareh Badban Clara Benac Earle / Laurent Thery Mikko Tiusanen / Norman iv / Simona Orzan Jun Pang Laurence / Hubert Garavel June / Earle Tommaso Bolognesi Antonio Cerone / Tom Ball / Pedro Merino / Frederic Lang Izak van Langevelde / Laurence Pierre Simon St James Laurent Thery / Jesús Martínez / Jun Pang Laurence Pierre / Michael Leuschel Pablo Lopez Cecilia / Wang Yi / Pablo López / Clara Benac Earle Tommaso Bolognesi / Sriram Rajamani / C. Artho / V / M. Simonot / V / Alessandro Fantechi Natalia Ioustinova Frederic / Andrew D. Gordon / /
Position
software model / local organization chair / co-chair / /
Product
KRONOS / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / /
7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems