FME '94: Industrial Benefit of Formal Methods
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Mitarbeit:Naftalin, Maurice; Denvir, Tim; Bertran, Miquel
FME '94: Industrial Benefit of Formal Methods
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Mitarbeit:Naftalin, Maurice; Denvir, Tim; Bertran, Miquel
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and…mehr
- James C.P. Woodcock / Peter G. Larsen (eds.)FME '93: Industrial-Strength Formal Methods79,99 €
- GaudelFME '96: Industrial Benefit and Advances in Formal Methods79,99 €
- FME '97 Industrial Applications and Strengthened Foundations of Formal Methods77,99 €
- LangmaackFormal Techniques in Real-Time and Fault-Tolerant Systems79,99 €
- BjornerFormal Methods in Programming and Their Applications40,99 €
- LewerentzFormal Development of Reactive Systems40,99 €
- JonssonFormal Techniques in Real-Time and Fault-Tolerant Systems40,99 €
-
-
-
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
- Produktdetails
- Lecture Notes in Computer Science 873
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-58555-8
- 1994.
- Seitenzahl: 744
- Erscheinungstermin: 12. Oktober 1994
- Englisch
- Abmessung: 235mm x 155mm x 40mm
- Gewicht: 959g
- ISBN-13: 9783540585558
- ISBN-10: 3540585559
- Artikelnr.: 09254110
- Lecture Notes in Computer Science 873
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-58555-8
- 1994.
- Seitenzahl: 744
- Erscheinungstermin: 12. Oktober 1994
- Englisch
- Abmessung: 235mm x 155mm x 40mm
- Gewicht: 959g
- ISBN-13: 9783540585558
- ISBN-10: 3540585559
- Artikelnr.: 09254110