BibSonomy publications for /author/Mandrioli http://www.bibsonomy.org/author/Mandrioli BibSonomy RSS Feed for /author/Mandrioli Modeling Time in Computing: A Taxonomy and a Comparative Survey dblp http://www.bibsonomy.org/bibtex/28e70670663c895b1064977f5e163b0d3/dblp dblp 2008-08-04T00:00:00+02:00 dblp
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi CoRR abs/0807.4132 (2008)
to dblp by dblp on 2008-08-04 00:00:00
]]> Software Qualities and Principles. dblp http://www.bibsonomy.org/bibtex/2e8404c1a0e16619ebb41afda90f6fb86/dblp dblp 2008-02-24T00:00:00+01:00 dblp
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
]]> Software Qualities and Principles. dblp http://www.bibsonomy.org/bibtex/28d2c3185f299c7a74f4a7801a22b9c21/cedricmesnage cedricmesnage 2007-12-13T14:26:53+01:00 phd
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
]]> FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. dblp http://www.bibsonomy.org/bibtex/290d9249e4f5a95aea23c1b372b3be73d/dblp dblp 2007-09-13T00:00:00+02:00 dblp
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
]]> Determining the Specification of a Control System from That of Its Environment. dblp http://www.bibsonomy.org/bibtex/2bd6b672e7d2f2420d8a9e1e7a135c6a6/dblp dblp 2007-09-07T00:00:00+02:00 dblp
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
]]> Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. dblp http://www.bibsonomy.org/bibtex/2452e3352f0642e0c30edb261dbee7014/dblp dblp 2007-07-26T00:00:00+02:00 dblp
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
]]> Modeling the Environment in Software-Intensive Systems Citeulike 06/22/07 http://www.bibsonomy.org/bibtex/2d7e68453af1d1ad3518138906a17a672/jenhork jenhork 2007-06-22T20:46:40+02:00 formal modeling re read
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
]]> Automated compositional proofs for real-time systems. dblp http://www.bibsonomy.org/bibtex/21d992958b401e41860b7d1df51fce4f2/dblp dblp 2007-05-09T00:00:00+02:00 dblp
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
]]> The Object-Oriented Specification of Real-Time Systems. dblp http://www.bibsonomy.org/bibtex/2c0594388d5cd536f988e4673ac9ec022/dblp dblp 2007-04-25T00:00:00+02:00 dblp
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
]]> Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. dblp http://www.bibsonomy.org/bibtex/2214d60be4d89ff92707e1931787bf9ba/dblp dblp 2007-04-25T00:00:00+02:00 dblp
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
]]>