Search or ask a question
Pricing
Login
Sign up
Home
Notebook
BETA
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
Home
/
Conferences
/
Formal Methods for Industrial Critical Systems
/
2004
Showing papers presented at "Formal Methods for Industrial Critical Systems in 2004"
PDF
Open Access
Year
Type
Authors
Institutions
Topics
Journals & Conferences (1)
Clear filters
Sort by:
Citation Count
Proceedings Article
•
On the Formal Verification of Middleware Behavioral Properties
[...]
Jérôme Hugues
,
Yann Thierry-Mieg
,
Fabrice Kordon
,
Laurent Pautet
,
Souheib Baarir
,
Thomas Vergnaud
- Show less
+2 more
01 Sep 2004
Go to Paper
25
citations
Save
Cite
Share