|
Conferences in DBLP
- Bart Jacobs
Java's Integral Types in PVS. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:1-15 [Conf]
- Ana Paula Lüdtke Ferreira, Leila Ribeiro
Towards Object-Oriented Graphs and Grammars. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:16-31 [Conf]
- Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
A Rewriting Based Model for Probabilistic Distributed Object Systems. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:32-46 [Conf]
- Andreas Prinz, Martin von Löwis
Engineering the SDL Formal Language Definition. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:47-63 [Conf]
- Cees Pierik, Frank S. de Boer
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:64-78 [Conf]
- Heike Wehrheim
Inheritance of Temporal Logic Properties. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:79-93 [Conf]
- Matthias Colin, Xavier Thirioux, Marc Pantel
Temporal Logic Based Static Analysis for Non-uniform Behaviours. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:94-108 [Conf]
- Philippe Bidinger, Jean-Bernard Stefani
The Kell Calculus: Operational Semantics and Type System. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:109-123 [Conf]
- Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
A Calculus for Long-Running Transactions. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:124-138 [Conf]
- Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:139-154 [Conf]
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Monitors in Java. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:155-169 [Conf]
- Kazuhiro Ogata, Kokichi Futatsugi
Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:170-184 [Conf]
- David H. Akehurst, John Derrick, A. Gill Waters
Design and Verification of Distributed Multi-media Systems. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:176-292 [Conf]
- Susan Eisenbach, Vladimir Jurisic, Chris Sadler
Managing the Evolution of .NET Programs. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:185-198 [Conf]
- Diego Latella, Mieke Massink
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:199-213 [Conf]
- Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
New Operators for the TURTLE Real-Time UML Profile. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:214-228 [Conf]
- Holger Rasch, Heike Wehrheim
Checking Consistency in UML Diagramms: Classes and State Machines. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:229-243 [Conf]
- Frederic Tronel, Frédéric Lang, Hubert Garavel
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:244-260 [Conf]
- Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Verification of Distributed Object-Based Systems. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:261-275 [Conf]
|