Bibsonomy :: author  ::

bookmarks

publications

(112)

• Software Qualities and Principles.
  Carlo Ghezzi and Mehdi Jazayeri and Dino Mandrioli The Computer Science and Engineering Handbook 2278-2301 (1997)
  to dblp by dblp and 1 other person on 2008-02-24 00:00:00
  | URL | BibTeX  
• Software Qualities and Principles.
  Carlo Ghezzi and Mehdi Jazayeri and Dino Mandrioli The Computer Science and Engineering Handbook 2278-2301 (1997)
  to phd by cedricmesnage and 1 other person on 2007-12-13 14:26:53
  | URL | BibTeX  
• FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
  Andrea Matta and Matteo Rossi and Paola Spoletini and Dino Mandrioli and Quirico Semeraro and Tullio Tolio ICTAC 366-380 (2007)
  to dblp by dblp on 2007-09-13 00:00:00
  | URL | BibTeX  
• Determining the Specification of a Control System from That of Its Environment.
  Ian J. Hayes and Michael A. Jackson and Cliff B. Jones FME 154-169 (2003)
  to dblp by dblp on 2007-09-07 00:00:00
  | URL | BibTeX  
• Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.
  Fernando Marotta and Angelo Morzenti and Dino Mandrioli ICDCS 567-574 (2001)
  to dblp by dblp on 2007-07-26 00:00:00
  | URL | BibTeX  
• Modeling the Environment in Software-Intensive Systems
  Carlo A. Furia and Matteo Rossi and Dino Mandrioli MiSE 07 (2007)
  to formal modeling re read by jenhork on 2007-06-22 20:46:40
  | BibTeX  
• Automated compositional proofs for real-time systems.
  Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti Theor. Comput. Sci. 376 164-184 (2007)
  to dblp by dblp on 2007-05-09 00:00:00
  | URL | BibTeX  
• The Object-Oriented Specification of Real-Time Systems.
  Dino Mandrioli TOOLS (10) 347 (1993)
  to dblp by dblp on 2007-04-25 00:00:00
  | URL | BibTeX  
• Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.
  Dino Mandrioli TOOLS (8) 277 (1992)
  to dblp by dblp on 2007-04-25 00:00:00
  | URL | BibTeX  
• The Object-Oriented Specification of Real-Time Systems.
  Dino Mandrioli TOOLS (8) 275 (1992)
  to dblp by dblp on 2007-04-25 00:00:00
  | URL | BibTeX