Search results for: Lorenzo Bettini
Journal of Systems and Software > 2017 > 131 > C > 419-441
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways > 12-22
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P1) > 655-680
Lecture Notes in Computer Science > Theoretical Computer Science > Technical Contributions > 128-142
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 3. Short Papers > 455-462
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > Component-Based Design of Embedded Software: An Analysis of Design Issues > 112-122
Lecture Notes in Computer Science > Scientific Engineering for Distributed Java Applications > Jada-Coordination and Communication for Java Agents > 175-184
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 659-680
Lecture Notes in Computer Science > Formal Methods for Mobile Computing > Models and Languages > 29-68
Lecture Notes in Computer Science > Distributed Applications and Interoperable Systems > Interoperability Architectures II > 181-193
Lecture Notes in Computer Science > Software Product Lines: Going Beyond > Formal Approaches > 77-91
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 451-464
Lecture Notes in Computer Science > Mobile Agents > Run-Time Support > 182-197
Lecture Notes in Computer Science > Global Computing > 179-207