RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 128
Titolo Data di pubblicazione Autori File
On deterministic multi-pass analysis 1-gen-1986 CITRINI, CLAUDIOCRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
On the specification of real-time systems using logic programming 1-gen-1987 GARZOTTO, FRANCAGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Theoretical Foundations of Computer Science. 1-gen-1987 MANDRIOLI, DINOGHEZZI, CARLO
Symbolic Execution of Concurrent Systems Using Petri Nets 1-gen-1989 GHEZZI, CARLOMANDRIOLI, DINO +
On the Behavior of Concurrent and Real-Time Systems 1-gen-1989 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINO
TRIO a Logic Language for Executable Specifications of Real-time Systems 1-gen-1990 GHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Breadth and depth grammars and Deque automata 1-gen-1990 CHERUBINI, ALESSANDRACITRINI, CLAUDIOCRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Software Specialization via Symbolic Execution 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
A Unified High-level Petri Net Model for Time Critical Systems 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
QRT FIFO automata, breadth-first grammars and their relations. 1-gen-1991 CHERUBINI, ALESSANDRACITRINI, CLAUDIOCRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
On eclectic specification environments 1-gen-1992 GHEZZI, CARLOMANDRIOLI, DINO
Advances in Object Oriented Software Engineering 1-gen-1992 MANDRIOLI, DINO +
Istituzioni di Informatica Linguaggio di riferimento Pascal 1-gen-1993 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Executable Specifications with Dataflow Diagrams 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Proving properties of real-time systems through logical specifications and Petri net models 1-gen-1994 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A Formal Framework for ASTRAL Intra-level Proof Obligations 1-gen-1994 MANDRIOLI, DINO +
Informatica Istituzioni Linguaggio di riferimento Ansi C 1-gen-1994 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Generating Test Cases for Real-Time Systems from Logic Specifications 1-gen-1995 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Istituzioni di Informatica Linguaggio di riferimento Pascal 1-gen-1995 CERI, STEFANOMANDRIOLI, DINOSBATTELLA, LICIA
Mostrati risultati da 21 a 40 di 128
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