Quantitative properties of software systems: Specification, verification, and synthesis

KRSTIC, SRDAN
2014-01-01

2014
36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings
9781450327688
9781450327688
Aggregate operators; Quantitative properties; Specifications; Synthesis; Temporal logic; Trace checking; Verification; Software
File in questo prodotto:
File Dimensione Formato  
icse2014-ds.pdf

accesso aperto

: Pre-Print (o Pre-Refereeing)
Dimensione 166.2 kB
Formato Adobe PDF
166.2 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/988687
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact