scientific article
From MaRDI portal
Publication:3992423
zbMath0800.68014MaRDI QIDQ3992423
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
VerificationESTELLEEstelleESPRIT/SEDOS projectFormal descriptionImplementation toolsSEDOSSEDOS ESTELLE demonstrator
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Specification techniques for Markov reward models, Verifying identical communicating processes is undecidable, Specification and analysis of a data transfer protocol using systems of communicating machines
