Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 84
Titolo Data di pubblicazione Autori File
A Finite-Domain Semantics for Testing Temporal Logic Specifications 1-gen-1998 PRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
An Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A formal description of a practical agent for e-commerce 1-gen-2001 PRADELLA, MATTEOCOLOMBETTI, MARCO
Associative definition of programming languages 1-gen-2001 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Software procurement and methods for specification and validation in the railway transportation industry 1-gen-2002 GIULIANI, MARCOMORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
Model-checking TRIO specifications in SPIN 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Tile Rewriting Grammars 1-gen-2003 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
Analyzing Security-Enhanced Linux Policy Specifications 1-gen-2003 PRADELLA, MATTEO +
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Practical Model Checking of LTL with Past 1-gen-2003 MORZENTI, ANGELO CARLOPRADELLA, MATTEOSAN PIETRO, PIERLUIGISPOLETINI, PAOLA
Modeling Security-Enchanced Linux Policy Specifications for Analysis 1-gen-2003 PRADELLA, MATTEO +
Tile rewriting grammars and picture languages 1-gen-2005 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Picture languages: Tiling systems versus tile rewriting grammars 1-gen-2006 CHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
A UML 2-compatible language and tool for formal modeling real-time system architectures 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Mostrati risultati da 1 a 20 di 84
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile