Sfoglia per Autore
A Finite-Domain Semantics for Testing Temporal Logic Specifications
1998-01-01 Alberto Coen, Porisini; Pradella, Matteo; SAN PIETRO, Pierluigi
An Evolutionary Approach to the Design of Supervision and Control Systems
1999-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications
1999-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; S., Russo; A., Sergio
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A formal description of a practical agent for e-commerce
2001-01-01 Pradella, Matteo; Colombetti, Marco
Associative definition of programming languages
2001-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
Software procurement and methods for specification and validation in the railway transportation industry
2002-01-01 U., Foschi; Giuliani, Marco; Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi
Model-checking TRIO specifications in SPIN
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
Tile Rewriting Grammars
2003-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo
Analyzing Security-Enhanced Linux Policy Specifications
2003-01-01 M., Archer; E., Leonard; Pradella, Matteo
Modeling Security-Enchanced Linux Policy Specifications for Analysis
2003-01-01 M., Archer; E., Leonard; Pradella, Matteo
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi
Practical Model Checking of LTL with Past
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
A formal approach for designing CORBA-based applications
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
Tile rewriting grammars and picture languages
2005-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo
A UML-compatible formal language for system architecture description
2005-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics
2006-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A UML 2-compatible language and tool for formal modeling real-time system architectures
2006-01-01 P., Colombo; Pradella, Matteo; Rossi, MATTEO GIOVANNI; G., Sassaroli
Comments on “An Interval Logic for Real-Time System Specification”
2006-01-01 Furia, CARLO ALBERTO; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Picture languages: Tiling systems versus tile rewriting grammars
2006-01-01 Cherubini, Alessandra; CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
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