Development and Specification of Virtual Environments (2003)

by Boris van Schooten
Venue:PH.D. THESIS. NESLIA PANICULATA
Citations:1 - 1 self

Active Bibliography

635 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
649 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
655 Architectural Styles and the Design of Network-based Software Architectures – Roy Thomas Fielding - 2000
545 The STATEMATE Semantics of Statecharts – David Harel, Amnon Naamad - 1996
1273 The model checker SPIN – Gerard J. Holzmann - 1997