Search results for: Roberto Passerone
Sustainable Computing: Informatics and Systems > 2017 > 16 > C > 66-75
Lecture Notes in Computer Science > Embedded Software > 324-343
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 526-541
Lecture Notes in Computer Science > Wireless Sensor Networks > Coordination and Synchronization > 166-182
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 491-506
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 721-742
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The ARTIST Project > 200-225
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 180-193
Sensors and Actuators A: Physical > 2016 > 238 > C > 112-121
Science of Computer Programming > 2016 > 115-116 > C > 225-246