Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Rivista
Codice:
E092542
ISSN:
1567-8326
Dati Generali
Dati Generali
Pubblicazioni (7)
A Framework for Specifying and Verifying the Behaviour of Open Systems
Articolo
Assisting the design of a groupware system - Model checking usability aspects of thinkteam
Articolo
Behavioral complexity indicators for process algebra: the NKS approach
Articolo
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
Articolo
On testing UML statecharts
Articolo
Session types for safe Web service orchestration
Articolo
Synthesis of secure adaptors
Articolo
No Results Found
