SFM-03:SA - 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture

Englebert, V. (Participant)

Universite de Namur

Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Description

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applic

Période	22 sept. 2003 → 27 sept. 2003
Type d'événement	Une conférence
Lieu	Bertinoro, ItalieAfficher sur la carte

Documents et liens

http://www.sti.uniurb.it/events/sfm03sa/#materiale