A Formal Approach for Modeling and Verification of RTCORBA-based Applications

ROSSI, MATTEO GIOVANNI;MANDRIOLI, DINO
2004-01-01

2004
Proceedings of the International Symposium on Software Testing and Analysis
9781581138207
INF
File in questo prodotto:
File Dimensione Formato  
p263-rossi.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 227.82 kB
Formato Adobe PDF
227.82 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/245624
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact