Showing
1 - 5
results of
5
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Other:
Remove Filter
Distributed processing
Author:
Remove Filter
Najm, Elie
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Distributed processing
Author:
Remove Filter
Najm, Elie
Search Results
Showing
1 - 5
results of
5
for search '
'
, query time: 0.18s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Formal methods for open object-based distributed systems /
Published 1997
Call Number:
Loading...
Located:
Loading...
Book
Loading...
2
Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description...
Published 1998
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
3
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /
Published 2003
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Get full text
Conference Proceeding
eBook
4
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
Book
5
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Conference Proceeding
4 results
4
Book
3 results
3
eBook
2 results
2
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Najm, Elie
Donzeau-Gouge, Véronique
2 results
2
FORTE 2006 Paris, France
2 results
2
IFIP Working Group 6.1
2 results
2
Pradat-Peyre, Jean-François
2 results
2
SpringerLink (Online service)
2 results
2
Budkowski, Stan
1 results
1
Cavalli, Ana
1 results
1
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification Paris, France
1 results
1
IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
1 results
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Paris, France
1 results
1
Nestmann, Uwe
1 results
1
Stefani, Jean-Bernard
1 results
1
Stevens, Perdita
1 results
1
see all…
Language
English
5 results
5
Geography
Paris
1 results
1
Loading...