Search results for: Dino Mandrioli
Theoretical Computer Science > 2017 > 658 > PA > 105-121
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Real-Time Systems > 35-50
Theoretical Computer Science > 2016 > 643 > C > 38-64
Lecture Notes in Computer Science > SDL 2005: Model Driven > Model Driven Architecture (Short Papers) > 234-246
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 381-395
Lecture Notes in Computer Science > ESEC '87 > 180-190
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 116-128
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 142-162
Lecture Notes in Computer Science > Software Engineering Education in the Modern Age > Challenges for Industries and Academia > 115-127
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Automatic Proofs and Provers > 326-340
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 214-226
Lecture Notes in Computer Science
Science of Computer Programming > 2015 > 112 > P3 > 195-226